И26 Игошин, В. И. Математическая логика и теория алгоритмов: Учеб. пособие для физико-математических специальностей пед. ин-тов [Текст] / В. И. Игошин. - Саратов : Изд-во Саратов. ун-та, 1991. - 256 с. - 3.00 р.
Кл.слова (ненормированные): Математика -- математическая логика -- алгебра высказываний -- булевы функции -- исчисление высказываний -- логика предикатов -- формулы -- кванторные операции -- аксиоматические теории -- теория алгоритмов -- машины Тьюринга -- алгоритмы -- учебное пособие для вузов Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
И26 Игошин, В. И. Задачи и упражнения по математической логике и теории алгоритмов: Учеб. пособие для студ. вузов, обуч. по спец. 032100 "Математика" [Текст] / В. И. Игошин. - 3-е изд., стер. - М. : Академия, 2007. - 304 с. - (Высшее профессиональное образование). - 295.00 р.
Кл.слова (ненормированные): Математика -- учебное пособие для вузов -- алгоритмы -- машины Тьюринга -- теория алгоритмов -- аксиоматические теории -- кванторные операции -- формулы -- логика предикатов -- исчисление высказываний Экземпляры всего: 2 2к (2) Свободны: 2к (2) |