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

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


logics

Различия

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

Ссылка на это сравнение

logics [2017/02/07 11:20] (текущий)
Sergey Kondrashov создано
Строка 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
 +
 +
 +
  
logics.txt · Последние изменения: 2017/02/07 11:20 — Sergey Kondrashov