Личный кабинет
Подробное описание документа
Лихтарников, Л. М. Математическая логика. Курс лекций. Задачник-практикум и решения : учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. — 4-е изд., стер. — Санкт-Петербург : Лань, 2022. — 288 с. — ISBN 978-5-8114-0082-9.
Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
Похожие издания
Лихтарников Л. М., Сукачева Т. Г.
Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 4-е изд., стер. - СПб. : Лань, 2009. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.:с. 273 . - ISBN 978-5-8114-0082-9 .
Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 4-е изд., стер. - СПб. : Лань, 2009. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.:
3 экз.
Лихтарников Л. М., Сукачева Т. Г.
Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 3-е изд, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.:с. 273 . - ISBN 978-5-8114-0082-9 .
Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие / Лихтарников Л. М., Сукачева Т. Г. - 3-е изд, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Специальная литература). - Библиогр.:
28 экз.
Лихтарников Л. М., Сукачева Т. Г.
Математическая логика. Курс лекций. Задачник-практикум и решения : учебное пособие для вузов / Лихтарников Л. М., Сукачева Т. Г. - СПб. : Лань, 1998. - 285 с. : ил. - Библиогр.:с. 282 . - ISBN 5-8114-0082-9 .
Математическая логика. Курс лекций. Задачник-практикум и решения : учебное пособие для вузов / Лихтарников Л. М., Сукачева Т. Г. - СПб. : Лань, 1998. - 285 с. : ил. - Библиогр.:
1 экз.
