Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elib.osu.ru/handle/123456789/14496
Название: | Математическая логика как инструмент искусственного интеллекта для формализации знаний : учебное пособие для обучающихся по образовательной программе высшего образования по направлению подготовки 01.03.02 Прикладная математика и информатика |
Авторы: | Болодурина, И. П. Дусакаева, С. Т. Колесник, С. В. |
Ключевые слова: | математика математическая логика алгебра высказываний булевы функции логика предикатов исчисление высказываний учебное пособие |
Дата публикации: | 2021 |
Издатель: | ОГУ |
Аннотация: | В учебном пособии изложены традиционные разделы курса математической логики: алгебра высказываний, булевы функции, логика предикатов и исчисление высказываний. Изложение материала осуществляется с акцентом на колоссальную роль формального языка математической логике в искусственном интеллекте для представления знаний. Пособие наряду с подробно представленным теоретическим материалом содержит достаточно большое количество разобранных примеров, вопросы для подготовки к коллоквиумам и задачи разного уровня сложности для самостоятельного решения. Учебное пособие предназначено для студентов, обучающихся по образовательной программе высшего образования по направлению подготовки 01.03.02 Прикладная математика и информатика, и может быть использовано для других направлений подготовки и специальностей, в учебных планах которых предусмотрено изучение дисциплины «Математическая логика». |
URI: | http://elib.osu.ru/handle/123456789/14496 |
Располагается в коллекциях: | Учебники, учебные пособия |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
142779_20210513.pdf | 4,71 MB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.