Подробное описание документа

Шапорев С. Д.
   Математическая логика. Курс лекций и практических занятий : учеб. пособие для вузов / Шапорев С. Д. - СПб. : БХВ-Петербург, 2007. - VI, 410 с. : ил. - (Учебное пособие). - Библиогр.: c. 405. - ISBN 978-5-94157-702-6.

В учебном пособии представлены разделы,традиuионно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функuиЙ. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач,помогающих усвоить и закрепить излагаемый материал.
Для студентов, аспирантов и преподавателей технических вузов.

УДК

510.6 Математическая логика

Предметные рубрики

• Математическая логика - Учебники и пособия

Общее кол-во в фондах

4 экз.

Заказать на абонемент

Заказать в читальный зал

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
3. Читальный зал ауд.305л, УЛК, ауд. 305л
4. Читальный зал ауд.313, ГУК, ауд. 313

Похожие издания

Шапорев С. Д.
   Математическая логика. Курс лекций и практических занятий : учеб. пособие для вузов / Шапорев С. Д. - СПб. : БХВ-Петербург, 2005. - 410 с. - (Учебное пособие). - Библиогр.: с. 405. - ISBN 5-94157-702-8.

Кол-во в фондах 26 экз.

подробнее

Шапорев С. Д.
   Математическая логика. Курс лекций и практических занятий / Шапорев С. Д. - Санкт-Петербург : БХВ-Петербург, 2005. - 416 с. - ISBN 978-5-94157-702-6.

Читать онлайн

Коллекция ЭБС «Айбукс»

подробнее