Программное обеспечение и интернет - ресурсы

1. http://www.logic.ru/Russian/: ЛОГИКА РОССИИ

2 .http://www.logic.ru/Russian/LogStud/index.html: Электронный журнал «Логические исследования».

3. http://www.iph.ras.ru:8100/~logic/index.html: Сектор логики Института Философии РАН)

4. http://logic.radio-msu.net/Russian/depart/: Кафедра логики философского факультета МГУ им М.В. Ломоносова.

5. http://markov.math.msu.ru/rus/logic.htm: Кафедра мат. логики и теории алгорифмов (мехмат МГУ).

6. http://logic.pdmi.ras.ru/: Лаборатория логики Математического Института им. Стеклова, СПб.

7. http://www.math.nsc.ru/LBRT/logic/l1win.html: Лаборатория математической логики Математического Института им. Соболева, Новосибирск

8. http://www.csa.ru/diclirus/: Логика в России в XX веке (о тех, кто ею занимается).

9. http://www.rbjones.com/rbjpub/: Фактазия – энциклопедия по логике, эпистемологии, философии науки (на англ.яз.)

10.http://world.logic.at/: «Математическая логика по всему миру» – журналы и препринты по логике, логические группы, организации и т.п. (на англ.яз.)

11.http://ntl.narod.ru/logic/index.html: Логика для всех.

12.http://psi-logic.shadanakar.org/index.html Психологика (сайт Мирослава Войнаровского). Выложены оригинальные учебники по алгебре логики, исчислению высказываний и др. – всё с точки зрения программиста)

13.http://logic.philos.msu.ru/texts/markin.pdf – В.И. Маркин «Логика предикатов», статья из «Новой философской энциклопедии» (в формате PDF).

14.http://ntl.narod.ru/logic/course/index.html: Учебные материалы по курсу логики (определения, задачи, примеры и т.д.).

15.http://www.lewiscarroll.org/carroll.html: Сайт, посвященный Льюису Кэрроллу.

16.http://ntl.narod.ru/logic/smullyan/name/index.html: Книги Р. Смаллиана (логические головоломки и парадоксы).

17.http://www.mccme.ru/mmmf-lectures/books/books/books.php?book=20 Брошюра И.В. Ященко «Парадоксы теории множеств» из серии «Математическое просвещение».

18.http://golovolomka.hobby.ru/: Головоломки для умных людей.

19.http://golovolomka.narod.ru/ Энциклопедия головоломок.

20.http://www.geocities.com/TimesSquare/Maze/8561/truefals.htm: Логические головоломки.

21.http://www.caravan.ru/~stepler/: Логические задачи и головоломки.

22.http://forum.academ.org/index.php?showtopic=108181 Форум Новосибирского Академгородка «Логические парадоксы»

23.http://absolute.times.lv/psm/ Парадоксы, софизмы и прочее.


[1] Существует очень простой метод. Колонку под первой переменной делим пополам – одну половину пишем 1, другую половину – 0; для каждой следующей переменной чередование 1 и 0 в столбцах учащается в два раза.

[2] Заметим, что в данной таблице нет правил, касающихся эквиваленции и строгой дизъюнкции. В практике рассуждения подобные связки встречаются реже остальных, а правила для них довольно громоздки. Поэтому будем рассматривать их как конъюнкции более простых, импликативных формул.

[3] Ивлева М.И. Логика: учеб. пособие. М.: Маркет ДС, 2008.С.153.

[4] Там же. С.160.

 

[5] Там же. С.162.

 

[6] Там же. С.163.

 

[7] Ивлева М.И. Логика: учеб. пособие. М.: Маркет ДС, 2008.С.172.

[8] Там же. С.177.