Збірник задач і вправ з математичної логіки
Трохимчук, Р. М. Збірник задач і вправ з математичної логіки: Навч. посіб. — К. : ДП «Видавничий дім «Персонал», 2008. — 116 с. — Бібліогр.: с. 113.
Збірник містить ретельно відібраний і систематизований набір відомих і оригінальних задач і вправ з класичних розділів математичної або формальної логіки: алгебра висловлень, числення висловлень і логіка предикатів. Кожному розділу передує короткий теоретичний вступ, де подано основні означення і терміни. Цей збірник можна використовувати як для проведення аудиторної роботи, так і для організації самостійної та індивідуальної роботи студентів.
Для студентів університетів, інших вищих навчальних закладів і всіх, хто бажає здобути фундаментальні знання в галузі сучасної інформатики.
ЗМІСТ
Передмова…………………………………………………………………………………….. 3
1. Поняття висловлення. Логічні операції.
Складені висловлення…………………………………………………………… 6
2. Алгебра висловлень. Формули алгебри висловлень. Таблиця істинності. Тавтології. Проблема розв’язності……. 14
3. Рівносильні формули алгебри висловлень………………………. 28
4. Логічний висновок на базі алгебри висловлень. Несуперечність множини висловлень…………………………………. 37
5. Числення висловлень. Формальне доведення. Теореми…… 51
6. Метатеорема дедукції. Похідні правила виведення…………… 64
7. Рівносильність формул числення висловлень …………………. 73
8. Логіка предикатів. Квантори………………………………………………. 77
9. Формули. Інтерпретація. Тотожно істинні формули. Рівносильність формул ………………………………………………………….. 87
10. Логічне слідування на базі логіки предикатів ……………………. 100
11. Застосування логіки предикатів……………………………………………. 107
Список використаної та рекомендованої літератури………………… 113
Смотрите так же:
- Збірник вправ з порівняльної граматики англійської та української мов Мирончук Т. А. Збірник вправ з порівняльної граматики англійської та української мов: Навч. посіб. для студ. вищ. навч. закл. — К. : МАУП, 2005. — 128 с. — Бібліогр. : с. 124-125.У пропонованому навчальному посібнику розглянуто частини мови циклу «Іменна група». На практичному тренувальному матеріалі порівнюються категоріальні ознаки іменника, прикметника,...
- Практикум з теорії ймовірностей та математичної статистики Практикум з теорії ймовірностей та математичної статистики: Навч. посіб. для студ. вищ. навч. закл. / Р. К. Чорней, О. Ю. Дюженкова, О. Б. Жильцов та ін.; За ред. Р. К. Чорнея. — К.: МАУП, 2003. — 328 с.: іл. — Бібліогр.: с. 321-322. У навчальному посібнику подано теоретичний матеріал, розв’язки...
- Логіка Богдановський І. В. Логіка: Опорний конспект лекцій / І. В. Богдановський, О. Г. Льовкіна. — К: МАУП, 2004. — 168 с.: іл. — Бібліогр.: с. 162-163. У посібнику викладено основи загальної логіки, а також елементи математичної (символічної) логіки. Він написаний відповідно до навчальних програм з курсу логіки для юридичних і...
- Збірник виробничих ситуацій з навчальної дисципліни «Банківські операції» Збірник виробничих ситуацій з навчальної дисципліни «Банківські операції» / Керівник авт. кол. А. М. Мороз. — К.: КНЕУ, 1998. — 380 с. Збірник містить реальні ситуації, що випливають з банківських операцій. Призначений для набуття навичок практичної роботи, яка формує фахівців банківської справи освітньо-кваліфікаційних рівнів бакалавр, спеціаліст, магістр. Допоможе працівникам банківських...
- Збірник матеріалів з української мови та літератури До збірки входять наступні файли: Dilovi dokumenty ta pravovi papery – Bybyk_Siuta – 2005.djvu Dovidnyk Ukr Prizvysch – Redko – 1968.djvu Dovidnyk z ukr pravopysu – 2006.djvu Entsyklopedija Ukr Movy – 2004.djvu Formuvannia i Dialektna Dyferentsiatsia Davnoruskoyi Movy – Pivtorak – 1988.djvu Imena – Demchuk – 1988.djvu Istoriya Ukr Movoznavstva...