Пропуск в контексте

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

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

Полное описание

Сохранить в:
Библиографические подробности
Главный автор: Глотина И. М.
Формат: Книга
Язык:Russian
Опубликовано: Пермь ПГАТУ 2025
Online-ссылка:https://e.lanbook.com/book/498083
https://e.lanbook.com/img/cover/book/498083.jpg
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
LEADER 01931nam0a2200277 i 4500
001 498083
003 RuSpLAN
005 20250716203433.0
008 250716s2025 ru gs 000 0 rus
020 |a 978-5-94279-669-3 
040 |a RuSpLAN 
041 0 |a rus 
044 |a ru 
080 |a 510.6 
084 |a 22.12  |2 rubbk 
245 0 0 |a Математическая логика и теория алгоритмов  |b учебное пособие  |c Глотина И. М. 
260 |a Пермь  |b ПГАТУ  |c 2025 
300 |a 163 с. 
504 |a Библиогр.: доступна в карточке книги, на сайте ЭБС Лань 
520 8 |a В учебном пособии изложены традиционные разделы математической логики: формальная логика, логика высказываний, логика предикатов, основы теории алгоритмов. Курс содержит теоретический материал, решение задач, задания для самостоятельной работы и вопросы для самоконтроля. Пособие предназначено для обучающихся всех форм обучения по направлениям подготовки 09.03.02 Информационные системы и технологии, 09.03.02 Информационные системы и технологии (сетевая программа), 09.03.03 Прикладная информатика и 09.03.04 Программная инженерия. 
521 8 |a Книга из коллекции ПГАТУ - Математика 
521 8 |a СЭБ 
100 1 |a Глотина И. М. 
856 4 |u https://e.lanbook.com/book/498083 
856 4 8 |u https://e.lanbook.com/img/cover/book/498083.jpg 
953 |a https://e.lanbook.com/img/cover/book/498083.jpg