Математическая логика

В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изу…

Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления пр…

Книга посвящена квантовой логике – интердисциплинарной области науки, интересующей физиков, математиков, логиков и философов. Квантовая логика рассмат…

Брошюра написана по материалам лекции, прочитанной автором 23 июля 2005 года в летней школе «Современная математика» в Дубне. Она посвящена формализац…

В 70-х годах XIX века немецкий математик Г. Кантор создал новую область математики – теорию бесконечных множеств. Через несколько десятилетий почти вс…

«Думай математически» – идеальное пособие для тех, кто стремится развить свои математические способности или занимается обучением математическому мышл…

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

Теория игр – это строгое стратегическое мышление. Это искусство предугадывать следующий ход соперника с учетом того, что он занимается тем же самым. Е…

На протяжении десятилетий эта книга служила основным учебником по логике и научному методу в большинстве американских вузов и до сих пор пользуется сп…