Хотите взорвать себе мозг? Зайдите на beon.ru - аналог уютной жежешечки, но для 13тилетних школьников. Это капец какой-то. Случайный дневник - http://beon.ru/p/random_blog.cgiRead more... )
Рылся в старых бумагах и нашел задачку, которую нам давали в универе на "мат.логике". А ведь когда-то я ее мог решить..
"Описать все хорновские булевы функции от трёх переменных a, b, c - атомарных предикатов данной сигнатуры. Построить диаграмму полурешётки конъюнкций, порождённых хорновскими импликациями."
Чем дальше, тем проще игры. Особенно браузерные. Первой игрушкой-самоиграйкой был Годвилль - http://godville.net, теперь вот появился MyBrute. Тут вообще всё просто - вводишь свое имя, и вперед, думать не надо абсолютно - http://falldownekb.
( Read more... )
Как известно, знания надо нести в массы. Вот этим я сейчас и займусь. Собссно, само "знание" заключается в одной короткой ссылке на сайт, который, возможно, кто-то знает, а для кого-то он будет в новинку и вообще шоком
( Read more... )