Е 80 Ершов, Юрий Леонидович. Математическая логика [Текст] : учеб. пособие для мат. спец. вузов / Ю. Л. Ершов, Е. А. Палютин. - 2- изд., испр. и доп. - М. : Наука, 1987. - 336 с. - 0.40 р. Рубрики: Математическая логика Кл.слова (ненормированные): учебное пособие для вузов -- исчисление высказываний -- теория множеств -- исчисление предикатов -- теория моделей -- теория доказательств Доп.точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 7 Аб.2 (2), Ч.з.1 (5) Свободны: Аб.2 (2), Ч.з.1 (5) |
И 26 Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студ. вузов / В.И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 446, [1] с. - (Высшее профессиональное образование). - ISBN 978-5-7695-4593-1 : 384.20 р., 397.00 р. Рубрики: Математическая логика Кл.слова (ненормированные): алгебра высказываний -- булевы функции -- исчисление высказываний -- программирование -- математическая логика -- учебное пособие для вузов Экземпляры всего: 12 Аб.2 (9), Ч.з.1 (3) Свободны: Аб.2 (9), Ч.з.1 (3) |
Е 80 Ершов, Андрей Петрович. Введение в теоретическое программирование. Беседы о методе [Текст] : учеб. пособие для студ. вузов, обучающихся по спец. "Прикладная математика" / А. П. Ершов. - М. : Наука, 1977. - 288 с. - 0.80 р. Рубрики: Программирование Кл.слова (ненормированные): программирование -- алгоритмизация -- информационный граф -- граф несовместимости -- реализация -- структурированное программирование -- математическая логика -- алгебра логики -- исчисление высказываний -- учебное пособие для вузов Экземпляры всего: 3 Ч.з.1 (3) Свободны: Ч.з.1 (3) |