Новые поступления (книга в стадии обработки) Дурнев, В. Г.. Элементы математической логики [Текст] : учеб. пособие / В. Г. Дурнев. - Ярославль : ЯрГУ, 2006. - 220 с. : нет. - ISBN 978-5-8397-0465-2 : Б. ц. на обороте тит. листа указ. назв.: Введение в математическую логику. - ISBN 5-8397-0465-2
Кл.слова (ненормированные): математическая логика Аннотация: В учебном пособии излагаются основные понятия логики высказываний, исчисления высказываний, логики предикатов и исчисления предикатов. Оно может быть использовано при изучении дисциплин "Математическая логика", "Математическая логика и теория алгоритмов" и "Дискретная математика и математическая логика" (блок ОПД, ЕН), а также специальных дисциплин. Библиогр.: 50 назв. Доп. точки доступа: Яросл. гос. ун-т, (Автор-коллектив) |