Вид документа : Однотомное издание Шифр издания : 621580 51.01351.017017.7:51/Г 186 Автор(ы) : Гамова, Алла Николаевна Заглавие : Математическая логика и теория алгоритмов : учеб. пособие . -3-е изд., доп. Выходные данные : Саратов: Издательство Саратовского университета, 2006 Колич.характеристики :83, [2] с Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского Примечания : Библиогр.: с. 84 (6 назв.). - Рекомендовано Ред.-изд. советом Сарат. гос. ун-та в качестве учеб. пособия для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий ISBN, Цена 5-292-03595-5: 35.00, 30.00, р. УДК : 510.5(075.8) + 510.63(075.8) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--тьюринга машина--исчисления предикатов--исчисления высказываний--вычислительная сложность Аннотация: Учебное пособие состоит из двух разделов: исчисления и алгоритмы. Теоретический материал сопровождается примерами решения задач и упражнениями. Для студентов механико-математического факультета и факультета компьютерных наук и информационных технологий Саратовского государственного университета Экземпляры : всего : ОХФ(3) Свободны : ОХФ(3) Держатели документа: ЗНБ СГУ