May. 8th, 2006

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

Read more... )
Page generated Sep. 12th, 2025 09:25 pm
Powered by Dreamwidth Studios