Математическая логика. Курс лекций. Задачник-практикум и решения:...
Уч.пособие состоит из 2 частей — курса лекций по матем.логике, включающего теоретич.материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упр-я по перечисленным разделам. Уч.пособие предназнач.для студентов университетов и педагогических вузов, изучающих математическую логику.
ISBN: 5-8114-0082-9
Издательство:
Лань
Дата выхода: январь 2009
Найденных опечаток пока нет
Добавить запись