Зыков, А. Г. Математическая логика [Электронный ресурс] : учебное пособие / Зыков А. Г. - Санкт-Петербург : Университет ИТМО, 2013. - 131 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): аксиоматическая теория -- алгебра -- высказывание -- гипотеза -- логика -- математика -- предикат -- формула Аннотация: В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в моделировании логических схем. Рассматриваются методы решения задач в логике высказываний и логике предикатов. В приложении приводится именной указатель ученых, внесших значительный вклад в развитии логики как науки. Пособие предназначено для студентов, обучающихся по направлениям 230100 «Информатика и вычислительная техника» и 231000 «Программная инженерия». Доп.точки доступа: Поляков, В. И.; Скорубский, В. И. Свободных экз. нет |