Математическая логика и теория алгоритмов, учебное пособие
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Sumario: | Учебное пособие подготовлено сотрудниками кафедры высшей математики СГУГиТ: кандидатом физико-математических наук, доцентом В. Л. Неклюдовой и старшим преподавателем В. П. Вербной. Настоящее пособие состоит из разделов базового курса дисциплины: логика высказываний, логика предикатов, конечные автоматы, теория алгоритмов. Изложение теоретического материала сопровождается примерами, раскрывающими смысл основных понятий. Учебное пособие по дисциплине «Математическая логика и теория алгоритмов» предназначено для обучающихся по направлению подготовки 10.03.01 Информационная безопасность (уровень бакалавриата). Рекомендовано к изданию кафедрой высшей математики, Ученым советом Института геодезии и менеджмента СГУГиТ. Печатается по решению редакционно-издательского совета СГУГиТ Книга из коллекции СГУГиТ - Инженерно-технические науки |
| Publicado: |
Новосибирск, СГУГиТ, 2022
|
| Materias: | |
| Acceso en línea: | https://e.lanbook.com/book/317462 https://e.lanbook.com/img/cover/book/317462.jpg |
| Formato: | Electrónico Libro |
