Книга: Н. К. Косовский «Элементы математической логики и ее приложения к теории субрекурсивных агоритмов. Учебное пособие»
Учебное пособие посвящено изложению элементов математической логики на основе секвенциального аппарата выводимости, успешно используемого в современных метаматематических исследованиях, и на основе предлагаемого автором точного понятия алгоритма, ориентированного на приложения в теории программирования. Формулируютсяаксиомы элементарной теории чисел, строятся основы теории множеств в аксиоматической системе Цермело - Френкеля. В последнем разделе книги - приложения к теории субрекурсивных алгоритмов в специализированных направлениях. Настоящее издание рассчитано на студентов, инженеров, аспирантов и научных сотрудников, интересующихся математической логикой, современной теорией алгоритмов, а также математическими основами теории программирования. Издательство: "Издательство Ленинградского университета" (1981) Формат: 60x90/16, 192 стр.
Купить за 130 руб на Озоне |
Другие книги схожей тематики:
Автор | Книга | Описание | Год | Цена | Тип книги |
---|
См. также в других словарях:
Косовский округ — Косовски управни округ Округ Сербии (АЕ 2 го уровня) Страна … Википедия
Косовский район Ивано-Франковской области — Косовский район Косівський район Флаг Страна Украина Статус район Входит в Ивано Франковская область Включает 1 городской, 2 поселковых, 37 сельсоветов Админис … Википедия
Косовский район — Косівський район Герб Флаг … Википедия
Косовский — фамилия. Известные носители: Косовский, Виталий Владиславович Косовский, Камиль Варлаам (Косовский) … Википедия
Косовский вилайет — осман. ولايت قوصوه тур. Kosova Vilayeti сербохорв. Kosovski Vilajet серб. Косовски Вилајет макед. Косовски вилает … Википедия
Косовский конфликт — Косово (Косово и Метохия) автономный край в составе Сербии. Население края составляют преимущественно албанцы (свыше 90%). Из двухмиллионного населения Косово сербы составляют около 100 тысяч (6%) с национальным центром в Косовской Митровице.… … Энциклопедия ньюсмейкеров