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

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

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

УДК

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

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

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

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

26 экз.

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

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

1. Абонемент старших курсов, ГУК, ауд. 213
2. Абонемент третьего курса, УЛК, ауд. 311л
3. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
4. Преподавательский абонемент ауд.313, ГУК, ауд. 313
5. Читальный зал ауд.305л, УЛК, ауд. 305л
6. Читальный зал ауд.313, ГУК, ауд. 313
7. Читальный зал ауд.345, ГУК, ауд. 345

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

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

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

подробнее

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

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

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

подробнее