Попросила меня знакомая решить контрольную по математике для получения автомата. Ну, я естественно залез в интернет, дабы освежить память :) Первое, что меня приятно удивило - он-лайн калькулятор от Яндекса:

( Read more... )

Наслаждайтесь: http://megaswf.com/serve/102223/

Алгебра Линденбаума - Тарского (фактормножество всех утверждений по отношению равносильности в данном исчислении с соответствующими операциями) какого-либо исчисления высказываний является булевой алгеброй. В этом случае истинностная оценка формул исчисления является гомоморфизмом алгебры Линденбаума - Тарского в двухэлементную булеву алгебру

Начал-таки писать бакалаврскую (всмысле кодить ( Read more... )