Математична логіка. Практикум
dc.contributor.author | Темнікова, Олена Леонідівна | |
dc.date.accessioned | 2021-08-02T08:21:49Z | |
dc.date.available | 2021-08-02T08:21:49Z | |
dc.date.issued | 2020-06-18 | |
dc.description.abstractuk | Навчальний посібник розроблено для оволодіння студентами, які навчаються за спеціальністю 113 «Прикладна математика», освітньою програмою «Наука про дані та математичне моделювання» факультету прикладної математики КПІ ім. Ігоря Сікорського, практичними навичками з дисципліни «Математична логіка та теорія алгоритмів». «Математична логіка. Практикум» містить основні теоретичні відомості та практичні прийоми розв`язання задач з математичної логіки, основи формалізації та доведення логічних слідувань, вимоги до правил їх оформлення; поняття з основ теорії нетрадиційних логік та суджень для застосування методів багатозначних логік і нечітких множин. | uk |
dc.format.page | 76 с. | uk |
dc.identifier.citation | Темнікова, О. Л. Математична логіка. Практикум [Електронний ресурс] : навч. посіб. для студ. спеціальності 113 «Прикладна математика», освітньої програми «Наука про дані та математичне моделювання» / О. Л. Темнікова ; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1 файл: 1,41 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2020. – 76 с. – Назва з екрана. | uk |
dc.identifier.uri | https://ela.kpi.ua/handle/123456789/42844 | |
dc.language.iso | uk | uk |
dc.publisher | КПІ ім. Ігоря Сікорського | uk |
dc.subject | математична логіка | uk |
dc.subject | формалізація суждень | uk |
dc.subject | метод резолюції | uk |
dc.subject | нечітки множини | uk |
dc.title | Математична логіка. Практикум | uk |
dc.type | Methodical Material | uk |
Файли
Контейнер файлів
1 - 1 з 1
Вантажиться...
- Назва:
- WorkshopLogicTemnikova.pdf
- Розмір:
- 1.38 MB
- Формат:
- Adobe Portable Document Format
- Опис:
Ліцензійна угода
1 - 1 з 1
Ескіз недоступний
- Назва:
- license.txt
- Розмір:
- 9.01 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: