Литература к докладу

  1. Copi Irving M., Cohen Carl, McMahon Kenneth Introduction to Logic, 14th ed. Pearson Education Limited, 2014
  2. Mendelson, Elliott Introduction To Mathematical Logic, 6th ed. //CRC Press, pp.499 ISBN: 978-1-4822-3778-8
  3. Pelletier, Francis Jeffry Problem Corner: Seventy-Five Problems for Testing Automatic Theorem Provers //Journal of Automated Reasoning 2 (1986) pp.191-216
  4. Бурбаки Н. Начала математики, Первая часть "Основые структуры анализа", Книга первая "Теория множеств" , М.: Мир, 1965, -455с.
  5. Кулик Б.А., Зуенко А.А., Фридман А.Я. Алгебраический подход к интеллектуальной обработке данных и знаний //– СПб.: Изд-во Политехн. ун-та, 2010. -235 c.
  6. Кулик Б.А., Курбанов В.Г., Фридман А.Я. Параллельная обработка данных и знаний методами алгебры кортежей //Труды СПИИРАН. 2014. Вып. 5(36). ISSN 2078-9181 (печ.), ISSN 2078-9599 (онлайн) www.proceedings.spiiras.nw.ru
  7. Кулик Б.А., Курбанов В.Г., Фридман А.Я. Теория отношений как инструмент семантического анализа данных и знаний //Вестник Санкт-Петербургского университета, Сер. 10. 2010. Вып. 4
  8. Кулик Б.А. Вероятностная логика на основе алгебры кортежей //Изв.РАН. Теория и системы управления №1, 2007, с.118-127
  9. Кулик Б.А. Вывод следствий с предварительно заданными свойствами (doi:10.18720/SPBPU/2/id21-157)
  10. Кулик Б.А. Исследование противоречий в естественных рассуждениях на примерах метафор и пресуппозиций
  11. Кулик Б.А. Логика и математика: просто о сложных методах логического анализа //Б.А. Кулик; под общ.ред А.Я.Фридманаю - СПб.: Политехника, 2020. -141 с. DOI:10.25960/7325-1166-6 ISBN:978-5-7325-1166-6
  12. Кулик Б.А. Логико-интервальный анализ систем на основе алгебры кортежей (doi:10.18720/SPBPU/2/id20-158)
  13. Кулик Б.А. Новые классы КНФ, с полиномиально распознаваемым свойством выполнимости //Автоматика и телемеханика, 1995, 2, с.111-124
  14. Курант Р., Роббинс Г. Что такое математика? —3-e изд., испр. и доп.—М.: МЦНМО, 2001.—568 с. ISBN 5–900916–45–6
  15. Мендельсон Эллиот Введение в математическую логику , М.: Наука, 1971, -320с. (djvu)
  16. Пуанкарэ Анри Последние мысли , Петрогоад: Научное конигоиздательство, 1923 (djvu)
  17. Пуанкарэ Анри Последние мысли , Петрогоад: Научное конигоиздательство, 1923 (pdf)
  18. Сакович В.В. «Парменидом» по лосеведам , 2018, -55с.
  19. Стяжкин Н.И. Формирование математической логики -М.: Наука, 1967 -507с.
  20. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем , М.: Наука, 1983, -360с.
  21. Эйлер Леонард Письма к немецкой принцессе о разных физических и философских материях (Lettres a une princesse d`allemagne sur divers sujets de physique et de philosophie) , СПб: Наука, 2002, -720с. (ISBN 5-02-028521-8)