В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик. Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов. ...

Почти четверть века назад, сначала на Западе, а затем и в России была опубликована книга гроссмейстера сталинской политической разведки Павла Судоплатова «Разведка и Кремль. Записки нежелательного свидетеля». Это произведение сразу же стало бестселлером....

Книга генерал-лейтенанта НКВД П.А. Судоплатова, одного из руководителей службы разведки и диверсий, которого с приходом к власти Н.С....

Легендарный советский разведчик и диверсант Павел Судоплатов выполнял различные секретные поручения Сталина. С ноября 1938 года по июнь 1942 года он был одним из руководителей отечественной внешней разведки. Благодаря этому он был посвящен во множество подробностей советской тайной войны и дипломатии....

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

В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик......