книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Математическая логика

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

Код 351515

  • ISBN: 5-94157-702-8
  • 416 страниц
  • октябрь 2005
  • BHV-СПб
  • 510 г

Нет в продаже

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

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

Оставить комментарий

Оцените книгу:

Издательство: BHV-СПб
Дата выхода: октябрь 2005
ISBN: 5-94157-702-8
Тираж: 3 000 экземпляров
Объём: 416 страниц
Масса: 510 г
Размеры(высота, ширина, толщина), см: 24 x 17 x 2
Обложка: твёрдая

Книга находится в категориях

ВУЗ

Вместе с этой книгой покупают