Математическая логика и теория алгоритмов, учебное пособие
| 1. autor: | |
|---|---|
| Kolejni autorzy: | |
| Streszczenie: | Учебное пособие подготовлено сотрудниками кафедры высшей математики СГУГиТ: кандидатом физико-математических наук, доцентом В. Л. Неклюдовой и старшим преподавателем В. П. Вербной. Настоящее пособие состоит из разделов базового курса дисциплины: логика высказываний, логика предикатов, конечные автоматы, теория алгоритмов. Изложение теоретического материала сопровождается примерами, раскрывающими смысл основных понятий. Учебное пособие по дисциплине «Математическая логика и теория алгоритмов» предназначено для обучающихся по направлению подготовки 10.03.01 Информационная безопасность (уровень бакалавриата). Рекомендовано к изданию кафедрой высшей математики, Ученым советом Института геодезии и менеджмента СГУГиТ. Печатается по решению редакционно-издательского совета СГУГиТ Книга из коллекции СГУГиТ - Инженерно-технические науки |
| Wydane: |
Новосибирск, СГУГиТ, 2022
|
| Hasła przedmiotowe: | |
| Dostęp online: | https://e.lanbook.com/book/317462 https://e.lanbook.com/img/cover/book/317462.jpg |
| Format: | Elektroniczne Książka |