книги Без категории

Математическая логика: Алгебра высказываний. Булевы функции. Логика предикатов. Формализованное исчисление высказываний. Изд. 2, испр

Код 5561132

  • ISBN: 978-5-9519-4983-7
  • 176 страниц
  • октябрь 2024
  • URSS

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 23.09.2025; планируемая отправка: 24.09.2025

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 26.09.2025; планируемая отправка: 27.09.2025

Аннотация к книге "Математическая логика: Алгебра высказываний. Булевы функции. Логика предикатов. Формализованное исчисление высказываний. Изд. 2, испр"

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

Пособие предназначено для студентов всех направлений подготовки бакалавров и специалистов, в учебных планах которых имеется дисциплина «Математическая логика».

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

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

Издательство: URSS
Дата выхода: октябрь 2024
ISBN: 978-5-9519-4983-7
Объём: 176 страниц

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

Просмотренные товары

Просмотренные категории

CD в аудио-формате