Учебная литература, A839289-ОХФ, A839290-ОХФ, A839381-ОХФ, A879628-ОХФ, A879629-ОХФ, Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : Учеб. пособ. для студентов физ.-мат. спец. пед. ин-тов / Владимир Иванович Игошин. - Саратов : Издательство Саратовского университета, 1991. - 255, [2] c. - Библиогр. - ISBN 5-292-00259-3 (в пер.) : 25.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- исчисления высказываний -- логика предикатов -- булевы функции Экземпляры всего: 24 ОХФ (5), ОУОЕН (19) |
A883857-ОХФ Гуц, Александр Константинович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов, обучающихся по специальности "Компьютерная безопасность" и специальности "Вычислительные машины, комплексы, системы и сети" / А. К. Гуц ; . - Омск : Наследие. Диалог Сибирь, 2003. - 107, [1] с. - ISBN 5-8239-0126-7 : 55.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория Экземпляры всего: 1 ОХФ (1) |
Учебная литература, A888582-ОХФ, A888583-ОХФ, A888584-ОХФ, Игошин, Владимир Иванович. Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - Москва : Академия, 2004. - 446, [2] с. - (Высшее профессиональное образование). - Библиогр.: с. 435-442 (152 назв.). - ISBN 5-7695-1363-2 (в пер.) : 196.20 р., 196.00 р. Есть автограф: Экз. 849133 : Игошин, Владимир Иванович
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- булевы функции -- логика предикатов -- исчисления высказываний Экземпляры всего: 197 ОУОЕН (194), ОХФ (3) |