Основы математической логики

Handling time: 30 days Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и сложных разделов дискретной математики — математической логики.Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственного интеллекта, управление базами данных и управление организационно-экономическими системами.В пособии рассматриваются основные разделы математической логики (алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов и машины Тьюринга).Пособие адресовано студентам младших курсов для успешного овладения элементами математической логики, а также старшеклассникам и их преподавателям при проведении факультативных занятий по дискретной математике.

#ASTTD# Search Terms: В. П. Супрун , V. P. Sypryn , Ленанд,Editorial URSS , Lenand,Editorial URSS , Русский , Rysskii , , Книга для школьников... И НЕ ТОЛЬКО! , , Kniga dlya shkolnikov... I NE TOLKO! , 9785971041139 , 978-5-9710-4113-9 , 931686