Матросов Виктор Леонидович

Многостраничный выпуск «Комсомольской правды», который выходит еженедельно по пятницам. Основные рубрики «КП – толстушки»: «Беседка «КП», «Дурилка «КП», «Клубный пиджак», «Антиреклама», «Окно в природу», «Россия, вперед», «Светская жизнь», детская страничка и так далее. Спецпроекты еженедельника «Комсомольская правда (толстушка)»: «КП» – здоровье» (народные рецепты здоровья и, конечно же, консульт...

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

В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо тео...

1982 год. Холодная война. В Советском Союзе новый руководитель – на смену Леониду Брежневу приходит Юрий Андропов, бывший глава КГБ. Западные журналисты могут лишь гадать, какой теперь будет внешняя политика Москвы. Одни надеются на диалог и примирение, другие мрачно рассуждают о ядерных ракетах. Саманта Смит – десятилетняя школьница из американской глубинки – очень боится ядерной войны. Она пишет...