Название: Математическая логика Автор(ы): Алаев П.Е., Максимова Л.Л. Издательство: Профобразование, Ай Пи Ар Медиа Год: 2020 Страниц: 98 Формат: PDF Размер: 10 Мб Язык: русский
Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Учебное пособие предназначено для изучения дисциплин «Математическая логика и теория алгоритмов», «Дискретная математика с элементами математической логики», «Элементы математической логики» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность».
Математическая логика и теория алгоритмов (2019) Название: Математическая логика и теория алгоритмов Автор(ы): Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И. Издательство: СФУ Год: 2019 Страниц:...
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Макоха А. Н., Шапошников А. В., Бережной В. В. Издательство: изд-во СКФУ Год: 2017...
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Блатов И. А. Год: 2017 Формат: pdf Издательство: Изд-во ПГУТИ Страниц: 214 Для сайта:...
Математическая логика (2017) Название: Математическая логика (2017) Автор: Алябьева В.Г. Издательство: Пермь: Пермский государственный национальный исследовательский университет...
Математическая логика: Учебное пособие для вузов Название: Математическая логика: Учебное пособие для вузов Автор: Ершов Ю.Л., Палютин Е.А. Издательство: Наука Год: 1987 Формат: pdf Страниц: 336...
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Судоплатов С.В., Овчинникова Б.В. Издательство: М.: Инфра-М; Новосибирск: НГТУ Год: 2004...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.