Основы математической логики
Автор:
Супрун В.П., издатель:
"URSS", ISBN:
978-5-9710-4113-9
Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и сложных разделов дискретной математики — математической логики. Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственного интеллекта, управление базами данных и управление организационно-экономическими системами. В пособии рассматриваются основные разделы математической логики (алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов и машины Тьюринга). Пособие адресовано студентам младших курсов для успешного овладения элементами математической логики, а также старшеклассникам и их преподавателям при проведении факультативных занятий по дискретной математике.
В наличии: |
|
My-shop.ru - 524 руб.
|
Перейти
|
|
|
Рейтинг книги:



4 из 5,
7 голос(-ов).