Математическая логика. Курс лекций. Задачник... (Серия "Учебники для вузов. Специальная литература)
Автор:
Лихтарников Л.М., Сукачева Т.Г., издатель:
"Лань", ISBN:
5-8114-0082-9
Уч.пособие состоит из 2 частей — курса лекций по матем.логике, включающего теоретич.материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упр-я по перечисленным разделам. Уч.пособие предназнач.для студентов университетов и педагогических вузов, изучающих математическую логику.
Рейтинг книги:



4 из 5,
7 голос(-ов).