Артикул: p6372547
Характеристики
- Издательство: Ленанд
- Год издания:2017
- Жанр: Математические науки
- ISBN:978-5-9710-4113-9
- Переплет: Твёрдый переплёт
- Формат: 150x220 мм
- Вес: 319 г
Описание
Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и сложных разделов дискретной математики — математической логики. Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственного интеллекта, управление базами данных и управление организационно-экономическими системами. В пособии рассматриваются основные разделы математической логики (алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов и машины Тьюринга). Пособие адресовано студентам младших курсов для успешного овладения элементами математической логики, а также старшеклассникам и их преподавателям при проведении факультативных занятий по дискретной математике.