Поиск :
Личный кабинет :
Электронный каталог: Шапорев, С. Д. - Математическая логика. Курс лекций и практических занятий
Шапорев, С. Д. - Математическая логика. Курс лекций и практических занятий
Книга
Автор: Шапорев, С. Д.
Математическая логика. Курс лекций и практических занятий : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"
Издательство: БХВ - Петербург, 2007 г.
ISBN 978-5-94157-702-6
Автор: Шапорев, С. Д.
Математическая логика. Курс лекций и практических занятий : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях"
Издательство: БХВ - Петербург, 2007 г.
ISBN 978-5-94157-702-6
Заказать 
На полку
Книга
22.12я73 Ш24
Шапорев, С. Д.
Математическая логика. Курс лекций и практических занятий : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев . – Санкт-Петербург : БХВ - Петербург, 2007 . – 410 с. – На рус. яз. - ISBN 978-5-94157-702-6 : 1.00 .
ББК 22.12я73
Книгообеспеченность = Дополнительная литература
Книгообеспеченность = Факультет математики и естествознания : Кафедра математики : Математическая логика и дискретная математика
Дисциплины = Цикл СД : Базовый : Математическая логика и дискретная математика
Ключевые слова = Алгебра
Ключевые слова = Алгоритмы
Ключевые слова = Логика
Ключевые слова = Математическая логика
Предметные рубрики = Естественные науки : Физико-математические науки : Математика : Основания математики. Математическая логика
Предметные рубрики = Учебное пособие для аспирантов
Предметные рубрики = Учебное пособие для студентов учреждений высшего образования
715329 Библиотека аб. учеб. л-ры фонд учебных изданий 22.12я73 Ш24
22.12я73 Ш24
Шапорев, С. Д.
Математическая логика. Курс лекций и практических занятий : учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев . – Санкт-Петербург : БХВ - Петербург, 2007 . – 410 с. – На рус. яз. - ISBN 978-5-94157-702-6 : 1.00 .
ББК 22.12я73
Книгообеспеченность = Дополнительная литература
Книгообеспеченность = Факультет математики и естествознания : Кафедра математики : Математическая логика и дискретная математика
Дисциплины = Цикл СД : Базовый : Математическая логика и дискретная математика
Ключевые слова = Алгебра
Ключевые слова = Алгоритмы
Ключевые слова = Логика
Ключевые слова = Математическая логика
Предметные рубрики = Естественные науки : Физико-математические науки : Математика : Основания математики. Математическая логика
Предметные рубрики = Учебное пособие для аспирантов
Предметные рубрики = Учебное пособие для студентов учреждений высшего образования
715329 Библиотека аб. учеб. л-ры фонд учебных изданий 22.12я73 Ш24