ЗМІСТ

Передмова 5
Глава 1
ЛОГІКА І ПРИЙНЯТТЯ РІШЕННЯ
§ 1. Технічні системи та їхня роль у підвищенні ефективності рішень, що приймаються 7
§ 2. Алгебра контактних схем 9
§ 3. Теорія множин 12

Глава 2
ВІД ЛОГІКИ ДО МЕТАЛОГІКИ
§ 4. Аксіоматика в логіці й математиці 22
§ 5. Проблеми теорії множин 24
§ 6. Логічні дослідження Д. Гільберта 28
§ 7. Поглиблене розуміння аксіоматичного методу 35

Глава 3
ЛОГІКА ВИСЛОВЛЕНЬ, АБО ПРОПОЗИЦІЙНА ЛОГІКА
§ 8. Формалізовані мови науки й формальна логіка. Логіка висловлень як основа символічної логіки 39
§ 9. Змінні й постійні в мові науки 42
§ 10. Закони логіки, таблиці істинності та логічні сполучники 44
§ 11. Трактування релейно-контактних схем у термінах логіки висловлень 59
§ 12. Індуктивні й дедуктивні умовиводи 62

Глава 4
ЛОГІКА ПРЕДИКАТІВ, АБО ПРОПОЗИЦІЙНИХ ФУНКЦІЙ § 13. Відмітні риси логіки предикатів 68
§ 14. Дескрипція 70
§ 15. Суть проблеми існування u логіці 72
§ 16. Киантор існування 74
§ 17. Значення виразу «бути поняттям» 76
§ 18. Квантори й змінні: істотні уточнення 79
§ 19. Закони логіки висловлень і логіки предикатів 83

Глава 5
НОВІ ЛОГІЧНІ ІДЕЇ І СИСТЕМИ
§ 20. Розвиток ідей математичного конструктивізму 94
§ 21. Конструктивна логіка 98
§ 22. Ця дивна нечітка логіка 103
§ 23. Проблеми модальної логіки 110
§ 24. З історії терміна «семантика» 116
§ 25. Логічна семантика: проблеми й поняття 123

Глава 6
ЛОГІКА І КІБЕРНЕТИКА
§ 26. Кібернетика, логіка й теорія кінцевих автоматів 126
§ 27. «Машина Тьюрінга». Вплив математичної теорії зв'язку на логіко-семантичні дослідження 127
§ 28. «Штучний інтелект» з погляду логіків 1зо
Замість висновків
Символи й позначення 140
Список рекомендованої літератури

Данный учебник можна приобрести у издательства.

Относительно авторства книг:

Мы не претендуем на авторство книг.

Все книги принадлежат их авторам.

Все книги предназначены для ознакомления.

Скачивая книгу Вы обязуетесь ее в течении суток удалить.

Книги сохранены в формате Word 2003.

Заархивированы архиватором RAR.

Все книги содержат форматирование точно как в оригинале.

Warning: array_key_exists() [function.array-key-exists]: The second argument should be either an array or an object in /usr/home/reddiplo/public_html/af50456cb74599fd2088329bdb9db667/sape.php on line 395