Зыков, А. Г. Математическая логика [Электронный ресурс] : учебное пособие / Зыков А. Г. - Санкт-Петербург : Университет ИТМО, 2013. - 131 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): аксиоматическая теория -- алгебра -- высказывание -- гипотеза -- логика -- математика -- предикат -- формула Аннотация: В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в моделировании логических схем. Рассматриваются методы решения задач в логике высказываний и логике предикатов. В приложении приводится именной указатель ученых, внесших значительный вклад в развитии логики как науки. Пособие предназначено для студентов, обучающихся по направлениям 230100 «Информатика и вычислительная техника» и 231000 «Программная инженерия». Доп.точки доступа: Поляков, В. И.; Скорубский, В. И. Свободных экз. нет |
Селезнев, В. А. Структурные свойства математического языка [Электронный ресурс] : учебное пособие / Селезнев В. А. - Новосибирск : Новосибирский государственный технический университет, 2016. - 116 с. - ISBN 978-5-7782-3059-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): аксиоматическая теория -- геометрическая вероятность -- евклидова геометрия -- математический язык -- модель пуанкаре -- парадокс бертрана -- плоскость лобачевского -- случайное событие -- числовая система -- языковая система Аннотация: Настоящее пособие предназначается для студентов 1 курса факультета гуманитарного образования и содержит разделы: формирование числовых и геометрических аксиоматических систем в математике, структурные свойства аксиоматических систем, математическое моделирование случайных событий. Объем пособия соответствует семестровому курсу «Математика» для студентов бакалавров направления специальностей 43.03.02 - «Журналистика», 45.03.02 - «Лингвистика», 45.03.01 и магистрантов 45.04.01 - «Филология», бакалавров 37.03.02 и магистрантов 37.04.02 - «Конфликтология». Цель пособия - познакомить студентов, получающих гуманитарное образование, с идеями и методами формирования математики как языкового инструмента. Демонстрация этих идей и методов основана на традиционных классических аксиоматических теориях числовых и геометрических моделей. Доп.точки доступа: Пехтерева, Л. В. Свободных экз. нет |