Світова класика

Вступ до сучасної логіки / Жоль

автор: Жоль

  1. 01Вступ до сучасної логіки / Жоль
  2. 02ГЛАВА 1. ЛОГІКА І ПРИЙНЯТТЯ РІШЕННЯ § 1. Технічні системи та їхня роль у підвищенні ефективності рішень, що приймаються
  3. 03§ 2. Алгебра контактних схем
  4. 04§ 3. Теорія множин
  5. 05ГЛАВА 2. ВІД ЛОГІКИ ДО МЕТАЛОГІКИ § 4. Аксіоматика в логіці й математиці
  6. 06§ 5. Проблеми теорії множин
  7. 07§ 6. Логічні дослідження Д. Гільберта
  8. 08§ 7. Поглиблене розуміння аксіоматичного методу
  9. 09ГЛАВА 3. ЛОГІКА ВИСЛОВЛЕНЬ, АБО ПРОПОЗИЦІЙНА ЛОГІКА § 8. Формалізовані мови науки й формальна логіка.
  10. 10§ 9. Змінні й постійні в мові науки
  11. 11§ 10. Закони логіки, таблиці істинності та логічні сполучники
  12. 12§ 11. Трактування релейно-контактних схем у термінах логіки висловлень
  13. 13§ 12. Індуктивні й дедуктивні умовиводи
  14. 14ГЛАВА 4. ЛОГІКА ПРЕДИКАТІВ, АБО ПРОПОЗИЦІЙНИХ ФУНКЦІЙ § 13. Відмітні риси логіки предикатів
  15. 15§ 14. Дескрипція
  16. 16§ 15. Суть проблеми існування в логіці
  17. 17§ 16. Квантор існування
  18. 18§ 17. Значення виразу «бути поняттям»
  19. 19§ 18. Квантори й змінні: істотні уточнення
  20. 20ГЛАВА 5. НОВІ ЛОГІЧНІ ІДЕЇ І СИСТЕМИ § 20. Розвиток ідей математичного конструктивізму
  21. 21§ 21. Конструктивна логіка
  22. 22§ 22. Ця дивна нечітка логіка
  23. 23§ 23. Проблеми модальної логіки
  24. 24§ 24. З історії терміна «семантика»
  25. 25§ 25. Логічна семантика: проблеми й поняття
  26. 26ГЛАВА 6. ЛОГІКА І КІБЕРНЕТИКА § 26. Кібернетика, логіка й теорія кінцевих автоматів
  27. 27§ 27. «Машина Тьюрінга». Вплив математичної теорії зв'язку на логіко-семантичні дослідження
  28. 28§ 28. «Штучний інтелект» з погляду логіків