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