Инструменты пользователя
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
Инструменты страницы
За исключением случаев, когда указано иное, содержимое этой вики предоставляется на условиях следующей лицензии: CC Attribution-Share Alike 3.0 Unported
