Математична логіка. Практикум

dc.contributor.authorТемнікова, Олена Леонідівна
dc.date.accessioned2021-08-02T08:21:49Z
dc.date.available2021-08-02T08:21:49Z
dc.date.issued2020-06-18
dc.description.abstractukНавчальний посібник розроблено для оволодіння студентами, які навчаються за спеціальністю 113 «Прикладна математика», освітньою програмою «Наука про дані та математичне моделювання» факультету прикладної математики КПІ ім. Ігоря Сікорського, практичними навичками з дисципліни «Математична логіка та теорія алгоритмів». «Математична логіка. Практикум» містить основні теоретичні відомості та практичні прийоми розв`язання задач з математичної логіки, основи формалізації та доведення логічних слідувань, вимоги до правил їх оформлення; поняття з основ теорії нетрадиційних логік та суджень для застосування методів багатозначних логік і нечітких множин.uk
dc.format.page76 с.uk
dc.identifier.citationТемнікова, О. Л. Математична логіка. Практикум [Електронний ресурс] : навч. посіб. для студ. спеціальності 113 «Прикладна математика», освітньої програми «Наука про дані та математичне моделювання» / О. Л. Темнікова ; КПІ ім. Ігоря Сікорського. – Електронні текстові дані (1 файл: 1,41 Мбайт). – Київ : КПІ ім. Ігоря Сікорського, 2020. – 76 с. – Назва з екрана.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/42844
dc.language.isoukuk
dc.publisherКПІ ім. Ігоря Сікорськогоuk
dc.subjectматематична логікаuk
dc.subjectформалізація сужденьuk
dc.subjectметод резолюціїuk
dc.subjectнечітки множиниuk
dc.titleМатематична логіка. Практикумuk
dc.typeMethodical Materialuk

Файли

Контейнер файлів
Зараз показуємо 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
Опис: