Российская национальная библиография

Описание RUSMARC Карточка

Алгебра высказываний. Логика предикатов. Теория алгоритмов. Сборник тестов по дисциплине "Математическая логика и теория алгоритмов"

ФГО [2012-93162]/русский/Алгебра высказываний. Логика предикатов. Теория алгоритмов. Сборник тестов по дисциплине "Математическая логика и теория алгоритмов" .Алгебра высказываний. Логика предикатов. Теория алгоритмов. Сборник тестов по дисциплине "Математическая логика и теория алгоритмов".Алгебра высказываний. Логика предикатов. Теория алгоритмов. Сборник тестов по дисциплине "Математическая логика и теория алгоритмов".Пенза/Пгпу/, 2012 ( ). - Пгпу, 2012. - 35 с. ; 21 см.Алгебра высказываний. Логика предикатов. Теория алгоритмов. Сборник тестов по дисциплине "Математическая логика и теория алгоритмов". Пенза, 2012 . Глебова, М. В., Мария Владимировна (канд. физ.-мат. наук; ).М. В.Мария ВладимировнаОсьминина /