Сайт Информационных Технологий

Каталог >> ИИ >> Логика

Список литературы

  1. Леонов В.П. Долгое прощание с лысенковщиной. // Web-страница в Интернете http://www.doktor.ru/doctor/biometr/lib/lis
  2. Пуанкаре А. О науке. - М.: Наука, 1983.
  3. Арнольд В.И. Избранное – 60. М.: Фазис, 1997.
  4. Блехман И.И., Мышкис А.Д., Пановко Я.Г. Прикладная математика: предмет, логика, особенности подходов. Киев: Наукова думка, 1976.
  5. Клайн М. Математика: Утрата определенности. М.: Мир, 1984.
  6. Reichenbach H. Experience and Prediction. Chicago, 1961. P.5-6.
  7. Зенкин А.А. Принцип разделения времени и анализ одного класса квазифинитных правдоподобных рассуждений (на примере теоремы Г.Кантора о несчетности).// Доклады РАН, раздел “Математика”, том 356, No. 6, 733-735 (1997).
  8. Зенкин А.А. Ошибка Георга Кантора // Вопросы философии. 2000. № 2. С. 165-168.
  9. Мендельсон Э. Введение в математическую логику. М.: Наука, 1984.
  10. Gцdel K. Ьber formal unentscheidbare Sдtze der Principia Mathematica und verwandter Systeme. Monatsh. Math. Phys., XXXVIII (1931), 173-198.
  11. Бурбаки Н. Очерки по истории математики. М.: Издательство Иностранной литературы, 1963.
  12. von Neumann J. Eine Axiomatisierung der Mengenlehre, J. Crelle, CLIV (1925), p. 219-240.
  13. Кулик Б.А. Моделирование рассуждений на основе законов алгебры множеств // Труды V национальной конференции по искусственному интеллекту. Казань, 7-12 октября 1996 г. Т.1. С. 58-61.
  14. Кулик Б.А. Основные принципы философии здравого смысла (познавательный аспект) // Новости искусственного интеллекта, 1996, No 3, с. 7-92.
  15. Кулик Б.А. Интерпретируемые системы логического вывода. В кн. Международная конференция “Смирновские чтения” (тезисы докладов). Институт философии РАН, 1997, с. 54-55.
  16. Кулик Б.А. Логические основы здравого смысла / Под редакцией Д.А. Поспелова. – СПб, Политехника, 1997. 131 с.
  17. Кулик Б.А. Логика здравого смысла. - Здравый смысл, 1997, No 1(5), с. 44 - 48.
  18. Кулик Б.А. Программа для моделирования и анализа естественных рассуждений. – Компьютерные инструменты в образовании, 1998, No 2, с. 55 - 63.
  19. Кулик Б.А. Система логического вывода на логических графах // Современная логика: проблемы теории, истории и применения в науке. – Материалы V Общероссийской научной конференции. Санкт-Петербург, 18-20 июня 1998 г.С. 169 -171.
  20. Кулик Б.А. Алгебраические основы естественных рассуждений: E-структуры – Материалы второй международной конференции “Логико-лингвистическое управление динамическими объектами (DOLLC'99)”, Санкт-Петербург, 21-25 июня 1999 г., с. 29-40.
  21. Кулик Б.А., Романов Л.Н. Алгебраический подход к моделированию и анализу естественных рассуждений на основе E-структур // Интеллектуальное управление: новые интеллектуальные технологии в задачах управления (ICIT’99). – Труды Международной конференции, Переславль-Залесский, 6-9 декабря 1999 г. М.: Наука. Физматлит, 1999. С. 50-54.
  22. Карпенко А.С. Логика: Феномены XX века // Современная логика: проблемы теории, истории и применения в науке. – Материалы VI Общероссийской научной конференции. Санкт-Петербург, 22-24 июня 2000 г.С. 461 - 465.
  23. Кэрролл Л. История с узелками. - М.: Мир, 1973.
  24. Стяжкин Н. И. Формирование математической логики. М.: Наука, 1967.

В начало статьи


Site of Information Technologies
Designed by  inftech@webservis.ru.