Поиск :
Личный кабинет :
Электронный каталог: Каширская, Е. Н. - Математическая логика в алгоритмизации
Каширская, Е. Н. - Математическая логика в алгоритмизации
Нет экз.
Электронный ресурс
Автор: Каширская, Е. Н.
Математическая логика в алгоритмизации : практикум
Издательство: РТУ МИРЭА, 2024 г.
ISBN 978-5-7339-2370-3
Автор: Каширская, Е. Н.
Математическая логика в алгоритмизации : практикум
Издательство: РТУ МИРЭА, 2024 г.
ISBN 978-5-7339-2370-3
На полку
Электронный ресурс
Каширская, Е. Н.
Математическая логика в алгоритмизации [Электронный ресурс] : практикум. – Москва : РТУ МИРЭА, 2024. – 88 с. – Режим доступа : https://e.lanbook.com/book/464609, https://e.lanbook.com/img/cover/book/464609.jpg. – Книга из коллекции РТУ МИРЭА - Математика. – На рус. яз. – ISBN 978-5-7339-2370-3.
Практикум разработан в помощь студентам, изучающим курс по дисциплине «Математические основы автоматизированных систем». Практикум предназначен для освоения учебной программы и получения практических знаний. Практикум соответствуют программе курса «Математические основы автоматизированных систем» для студентов направления подготовки 15.03.04 «Автоматизация технологических процессов и производств». Приведены краткие сведения по основам логики высказываний, логики предикатов, формальных аксиоматических теорий и теории алгоритмов. Контрольные задания включают упражнения по всем разделам. Приводятся указания к проведению практических работ.
004.8
основной = ЭБС Лань
Каширская, Е. Н.
Математическая логика в алгоритмизации [Электронный ресурс] : практикум. – Москва : РТУ МИРЭА, 2024. – 88 с. – Режим доступа : https://e.lanbook.com/book/464609, https://e.lanbook.com/img/cover/book/464609.jpg. – Книга из коллекции РТУ МИРЭА - Математика. – На рус. яз. – ISBN 978-5-7339-2370-3.
Практикум разработан в помощь студентам, изучающим курс по дисциплине «Математические основы автоматизированных систем». Практикум предназначен для освоения учебной программы и получения практических знаний. Практикум соответствуют программе курса «Математические основы автоматизированных систем» для студентов направления подготовки 15.03.04 «Автоматизация технологических процессов и производств». Приведены краткие сведения по основам логики высказываний, логики предикатов, формальных аксиоматических теорий и теории алгоритмов. Контрольные задания включают упражнения по всем разделам. Приводятся указания к проведению практических работ.
004.8
основной = ЭБС Лань