Математическая логика. Курс лекций и практических занятий: Сергей Шапорев
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгор
Полная аннотация
Все характеристики
Аннотация
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.
Характеристики
Редактор
Издательство
Серия
ID товара
268251
ISBN
5-94157-702-8
Страниц
416 (Газетная)
Вес
476 г
Размеры
240x170x20 мм
Тип обложки
7Б - твердая (плотная бумага или картон)
Иллюстрации
Черно-белые
Все характеристики
Нет в продаже
Рецензии на книгу
Читали книгу? Как она вам?
Мы всегда рады честным, конструктивным рецензиям.
Покупатели 1

Забава Сказкина
30 апреля 2014 в 12:04
Много формул и графиков. Кто разбирается - поймет.
Странички тоненькие и желтенькие. Кому не важно - подойдет.
Информативно для понимающих - да.
Понравилась рецензия?
Да