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

[psilogic]

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

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

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

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

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

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

Comments

Я совсем видимо офигел:)

[daddym.livejournal.com]

С огромным удовольствием прочитал 4 главы по Булевой алгебре - только потом понял что дело в ощущении себя очень умным. Сразу задумался почему в таком случае я такой бедный:)
Написано хорошо - вот немного блох и предложений:


Афродите надо жертву приносить а не молится:)

В начале нужно таки указать что значок Def используется для введения определений

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

А почему число возможных формул именно такое? - лучше пояснить.

функции, которые обозначаются значками около переменных, часто называют [операциями]

Re: Я совсем видимо офигел:)

[psilogic.livejournal.com]

Сразу задумался почему в таком случае я такой бедный:)

А кто сказал, что стремиться к богатству - умно? :)

За замечания спасибо, вечером внесу.