Различия

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

@@ Строка 1: / Строка 1: @@
+====== Введение в логику ======
+===== Введение в логику =====
+https://www.coursera.org/course/intrologic
+https://www.coursera.org/course/logic1
+https://www.coursera.org/course/philsci
+https://hexlet.org/course/logic/
+**Литература:**
+**Чень Ч., Ли Р. - Математическая логика и автоматическое доказательство теорем (1983)(ru) **
+[[http://librarum.org/book/4450/1]]
+Законы логики высказываний:
+[[http://librarum.org/book/4450/12]] - коммутативные, ассоциативные, дистрибутивные, законы //де Моргана//
+[[http://books.crimea.ua/cat5/kniga6155.html]]
+**В.П. Битюцкий, Н.В. Папуловская - МАТЕМАТИЧЕСКАЯ ЛОГИКА ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ **
+http://www.kosstu.kz/static/uploads/library/techik/matematika/t-m-13.pdf
+http://lib.rushkolnik.ru/text/46170/index-1.html
+http://www.rsvpu.ru/filedirectory/5295/posobie-po_matlogike.doc
+**Математическая логика. Контактные схемы**
+http://pgap.chat.ru/zap/zap116.htm#0
+http://www.metodichka.net/Informatika.php?itemid=31
+**Ресурсы, игры, задачи**
+  * http://games.stanford.edu/gcl.html
+  * http://arrogant.stanford.edu/ggp/chapters/cover.html
+  * http://games.stanford.edu/gdl.html
+  * http://gamemaster.stanford.edu/showgames
+  * http://logic.stanford.edu/epilog/
+===== Автоматическое доказательство теорем =====
+http://www.pgtk.edu.ru/legacy/lection/discret_math/logika/3_5.htm
+http://ai-center.botik.ru/planning/index.php?ptl=materials/aboutTheoremProving.htm

INTEPRA WIKI

Инструменты пользователя

Инструменты сайта

Различия

Инструменты страницы