Saltar ao contenido

Математическая логика и теория алгоритмов учебно-методическое пособие

В учебно-методическом пособии изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики, булева алгебра и исчисления высказываний и предикатов, формальные аксиоматические теории, теории алгоритмов. Предназначено для студентов ЦЗОПБ по направлениям подгото...

Descrición completa

Gardado en:
Detalles Bibliográficos
Autor Principal: Семин В. Г.
Formato: Книга
Idioma:Russian
Publicado: Москва МТУСИ 2024
Acceso en liña:https://e.lanbook.com/book/439082
https://e.lanbook.com/img/cover/book/439082.jpg
Метки: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Descripción
Краткое описание:В учебно-методическом пособии изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики, булева алгебра и исчисления высказываний и предикатов, формальные аксиоматические теории, теории алгоритмов. Предназначено для студентов ЦЗОПБ по направлениям подготовки: 09.03.02 – Информационные системы и технологии; 15.03.04 – Автоматизация технологических процессов и производств: 27.03.04 – Управление в технических сферах.
Descrición Física:39 с.
Público:Книга из коллекции МТУСИ - Математика
СЭБ
Bibliografía:Библиогр.: доступна в карточке книги, на сайте ЭБС Лань