• ВХОД

    •  

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

    Ершов, Юрий Леонидович. Математическая логика / Ю. Л. Ершов, Е. А. Палютин. - 6, испр. - Москва : Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2011. - 356 с. - ISBN 978-5-9221-1301-4 : Б. ц.

    УДК
    510.6(075.8)
    ББК
    22.12
    РУБ
    01.03.01
    02.03.01
    01.03.02
    03.03.01
    03.03.02
    03.03.03
    01.03.03
    01.03.04

    Рубрики:
    Физико-математические науки

    Аннотация: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно чем это предусмотрено программой.
    Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.Экз-ры полностью RU\infra-m\znanium\bibl\395379
    Нет сведений об экземплярах
    Электронная библиотечная система ZNANIUM
    https://znanium.com/cover/0395/395379.jpg
    Кол-во выдач 0
    История корректировок



    Просмотр издания ЭБС ZNANIUM