8 (812) 320-06-69

Каталог

Категории
Высшее образование (16+) (39691)
Высшее образование
Естественные науки (2579)
Естественные науки
Общественные науки (3174)
Общественные науки
Информатика и компьютерные технологии (4251)
Информатика и компьютерные технологии
Инженерное дело (1406)
Инженерное дело
Телекоммуникации, электроника, электротехника и радиотехника (1359)
Телекоммуникации, электроника, электротехника и радиотехника
Строительство. Архитектура (634)
Строительство. Архитектура
Строительство. Архитектура. Журналы (17)
Строительство. Архитектура. Журналы
Бетон и железобетон (3)
Бетон и железобетон
Жилищное строительство (7)
Жилищное строительство
Строительные материалы (7)
Строительные материалы
Юридические науки.Право (4330)
Юридические науки.Право
Отрасли права (2770)
Отрасли права
Гуманитарные науки (6028)
Гуманитарные науки
Экономика. Экономические науки (6614)
Экономика. Экономические науки
Образование. Педагогические науки (3346)
Образование. Педагогические науки
Медицина и здравоохранение (953)
Медицина и здравоохранение
Физическая культура и спорт (474)
Физическая культура и спорт
Среднее профессиональное образование (14+) (2799)
Среднее профессиональное образование
Коллекции (43399)
Коллекции
Издательские коллекции (42976)
Издательские коллекции
Журналы (999)
Журналы
Остаться в выбранном разделе
Назад к каталогу

Математическая логика. Курс лекций и практических занятий

Математическая логика. Курс лекций и практических занятий ISBN 978-5-94157-702-6
ISBN 978-5-94157-702-6
Авторы: 
Шапорев С.Д.
Тип издания: 
Учебное пособие
Издательство: 
Санкт-Петербург: БХВ-Петербург
Год: 
2005
Количество страниц: 
416
Не доступна для комплектования
Аннотация

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

Библиографическое описание Скопировать библиографическое описание

Шапорев С.Д. Математическая логика. Курс лекций и практических занятий / С.Д. Шапорев. - Санкт-Петербург : БХВ-Петербург, 2005. - 416 с. - ISBN 978-5-94157-702-6. - URL: http://new.ibooks.ru/bookshelf/356659/reading (дата обращения: 20.04.2024). - Текст: электронный.