В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для...
ISBN: 978-5-9221-1301-4
Издательство:
Физматлит
Дата выхода: август 2011
Аля — начинающий ветеринар. Она учится в волшебной Академии и помогает в клинике профессору Лунье лечить разных фантастических зверей. На этот раз её класс приглашают на интереснейшую экскурсию по драконопорту, где обучают всех драконов королевства. Но внезапно из него буквально у них на глазах сбегает красивейший серебряный дракон. В чём проблема? И как помочь красивому, но очень опасному животному до...
ISBN: 978-5-17-163210-6
Издательство:
АСТ
Дата выхода: май 2024
Найденных опечаток пока нет
Добавить запись