Книга: Гуц А.К. «Математическая логика и теория алгоритмов»
|
Производитель: "URSS" Серия: "Математика" Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга---Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям `Компьютерная безопасность` и `Вычислительные машины, комплексы, системы и сети`. ISBN:978-5-9710-2629-7 Издательство: "URSS" (2016)
ISBN: 978-5-9710-2629-7 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Математические методы в социологии. № 33 | Настоящая книга посвящена изложению элементов математической социологии. Она представляет собой попытку… — URSS, Синергетика: от прошлого к будущему Подробнее... | бумажная книга | ||
| Время. Машина времени. Параллельные вселенные | Настоящая книга посвящена проблемам теории времени. В основе исследования лежит представление о… — URSS, Relata Refero Подробнее... | бумажная книга | ||
| Математическая логика и теория алгоритмов | Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия… — URSS, Математика Подробнее... | бумажная книга | ||
| Основы квантовой кибернетики | В книге излагаются некоторые разделы квантовой кибернетики. Это теория квантового компьютера и квантовых… — URSS, - Подробнее... | бумажная книга | ||
| Основы квантовой кибернетики | В книге излагаются некоторые разделы квантовой кибернетики. Это теория квантового компьютера и квантовых… — URSS, (формат: 60x90/16мм, 216 стр.) Подробнее... | бумажная книга | ||
| Хроногеометрия. Аксиоматическая теория относительности | Практически с самых первых лет появления специальной теории относительности начались поиски аксиом… — URSS, - Подробнее... | бумажная книга | ||
| Хроногеометрия. Аксиоматическая теория относительности | Практически с самых первых лет появления специальной теории относительности начались поиски аксиом… — URSS, - Подробнее... | бумажная книга | ||
| Хроногеометрия. Аксиоматическая теория относительности | Практически с самых первых лет появления специальной теории относительности начались поиски аксиом… — URSS, (формат: 60x90/16, 352 стр.) Школьная программа Подробнее... | бумажная книга | ||
| Время. Машина времени. Параллельные вселенные | Настоящая книга посвящена проблемам теории времени. В основе исследования лежит представление о… — URSS, Relata Refero Подробнее... | бумажная книга | ||
| Время. Машина времени. Параллельные вселенные | Настоящая книга посвящена проблемам теории времени. В основе исследования лежит представление о… — URSS, Relata Refero Подробнее... | бумажная книга | ||
| Глобальная этносоциология | В настоящей книге излагаются основы теории биосферы В. И. Вернадского, теории этногенеза Л. Н. Гумилева и… — URSS, - Подробнее... | бумажная книга | ||
| Глобальная этносоциология | В настоящей книге излагаются основы теории биосферы В. И. Вернадского, теории этногенеза Л. Н. Гумилева и… — URSS, - Подробнее... | бумажная книга | ||
| Глобальная этносоциология | В настоящей книге излагаются основы теории биосферы В. И. Вернадского, теории этногенеза Л. Н. Гумилева и… — URSS, Подробнее... | бумажная книга |
См. также в других словарях:
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
Битовая операция (теория алгоритмов) — У этого термина существуют и другие значения, см. Битовая операция (значения). Битовая операция (теория алгоритмов) в теории алгоритмов, криптографии запись знаков 0, 1, плюс, минус, скобка; сложение, вычитание и умножение двух битов (числа… … Википедия
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия
