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

Кл.слова (ненормированные):
математическая логика
Аннотация: В учебном пособии излагаются основные понятия логики высказываний, исчисления высказываний, логики предикатов и исчисления предикатов. Оно может быть использовано при изучении дисциплин "Математическая логика", "Математическая логика и теория алгоритмов" и "Дискретная математика и математическая логика" (блок ОПД, ЕН), а также специальных дисциплин. Библиогр.: 50 назв.


Доп. точки доступа:
Яросл. гос. ун-т, (Автор-коллектив)