Креатифф, блин...
Jan. 26th, 2006 09:11 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
psilogicВыложил на сайте два новых виртуальных учебника, собственного приготовления:
1. По булевой алгебре - подробный, с доказательствами и упражнениями, тут:
http://psi-logic.shadanakar.org/boo/boo.htm
2. По общим принципам дедуктивных методов, тут:
http://psi-logic.shadanakar.org/ded/ded.htm
В общем, там ничего такого революционного, все вполне ортодоксально. Рассчитаны они (даже) на школьников или людей, накрепко забывших математику. На данный момент смысл этого занятия состоит в том, чтобы убедиться: насколько возможно современную математическую логику излагать на уровне, понятном школьнику.
На очереди учебник по классическому исчислению высказываний (в состоянии окончательной полировки).
Если вдруг кто-то отважится это читать, буду благодарен за конструктивные замечания.
1. По булевой алгебре - подробный, с доказательствами и упражнениями, тут:
http://psi-logic.shadanakar.org/boo/boo.htm
2. По общим принципам дедуктивных методов, тут:
http://psi-logic.shadanakar.org/ded/ded.htm
В общем, там ничего такого революционного, все вполне ортодоксально. Рассчитаны они (даже) на школьников или людей, накрепко забывших математику. На данный момент смысл этого занятия состоит в том, чтобы убедиться: насколько возможно современную математическую логику излагать на уровне, понятном школьнику.
На очереди учебник по классическому исчислению высказываний (в состоянии окончательной полировки).
Если вдруг кто-то отважится это читать, буду благодарен за конструктивные замечания.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2006-01-26 07:44 pm (UTC)Тебя не смущает, что здесь нигде не указана кодировка документа (charset)?
Прояви заботу о читателях :)
no subject
Date: 2006-01-26 08:41 pm (UTC)no subject
Date: 2006-01-26 08:46 pm (UTC)Если у тебя страницы статические, попинай админа сервера, пусть нормально его настроит. Если динамические — надо самому хедеры правильные отправлять.
Я совсем видимо офигел:)
Date: 2006-01-26 09:07 pm (UTC)Написано хорошо - вот немного блох и предложений:
Афродите надо жертву приносить а не молится:)
В начале нужно таки указать что значок Def используется для введения определений
В принципе, строки в таблице истинности можно перечислять в любом порядке, но описанные выше способы - наиболее удобные. (Поскольку аналогичны записи двоичных чисел)
А почему число возможных формул именно такое? - лучше пояснить.
функции, которые обозначаются значками около переменных, часто называют [операциями]
Re: Я совсем видимо офигел:)
Date: 2006-01-27 11:06 am (UTC)А кто сказал, что стремиться к богатству - умно? :)
За замечания спасибо, вечером внесу.
no subject
Date: 2006-01-27 10:14 am (UTC)