Креатифф, блин...

[psilogic]

Выложил на сайте два новых виртуальных учебника, собственного приготовления:

1. По булевой алгебре - подробный, с доказательствами и упражнениями, тут:
http://psi-logic.shadanakar.org/boo/boo.htm

2. По общим принципам дедуктивных методов, тут:
http://psi-logic.shadanakar.org/ded/ded.htm

В общем, там ничего такого революционного, все вполне ортодоксально. Рассчитаны они (даже) на школьников или людей, накрепко забывших математику. На данный момент смысл этого занятия состоит в том, чтобы убедиться: насколько возможно современную математическую логику излагать на уровне, понятном школьнику.

На очереди учебник по классическому исчислению высказываний (в состоянии окончательной полировки).

Если вдруг кто-то отважится это читать, буду благодарен за конструктивные замечания.

Comments

[psilogic.livejournal.com]

Оно часто глюкать начинает, когда кодировку выставляешь - то сервер не в том режиме, то браузер... в общем, я поначалу ставил, а потом забил. Кодировка обычная - Win1251.

[ex-feuerbach769.livejournal.com]

Это знаю я, но об этом не знает мой броузер.
Если у тебя страницы статические, попинай админа сервера, пусть нормально его настроит. Если динамические — надо самому хедеры правильные отправлять.