Вид документа : Однотомное издание Шифр издания : 10772 Автор(ы) : Балюкевич Э. Л., Ковалева Л. Ф. Заглавие : Математическая логика и теория алгоритмов : Учебное пособие Выходные данные : Москва: Евразийский открытый институт, 2009 Колич.характеристики :188 с Примечания : Книга находится в Премиум-версии ЭБС IPRbooks. ISBN, Цена 978-5-374-00220-1: Б.ц. УДК : 519.1 ББК : 22.176 Ключевые слова (''Своб.индексиров.''): математическая логика--математический аппарат--теория алгоритмов--учебное пособие Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов. Доп.точки доступа: Ковалева, Л. Ф.