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

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


logics

Различия

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

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

logics [2017/02/07 14:20]
super_admin создано
logics [2019/06/24 20:29]
Строка 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 · Последние изменения: 2019/06/24 20:29 (внешнее изменение)