Балюкевич, Э. Л. Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Балюкевич Э. Л. - Москва : Евразийский открытый институт, 2009. - 188 с. - ISBN 978-5-374-00220-1 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): математическая логика -- математический аппарат -- теория алгоритмов -- учебное пособие Аннотация: Данное пособие рассчитано на читателя, впервые знакомящегося с математической логикой – формальным математическим аппаратом, изучающим различные способы логических рассуждений, а также с теорией алгоритмов. Доп.точки доступа: Ковалева, Л. Ф. Свободных экз. нет |