Точность мысли     Погружение     Радуга книг     Поиск     О нас
Ваш путеводитель
по различным областям знаний
Источник знаний  
Источник знаний|Главная страница Поиск Напишите нам Карта сайта Добавить в избранное

Радуга книг


Разработка и дизайн сайтов WebPalette.RU
Разделы: Учебная литература | Студентам ВУЗов | Естественные науки. Математика | Математика | Основания математики. Математическая логика. Теория чисел

Математическая логика и теория алгоритмов

Автор: А. К. Гуц

Издательство: Либроком
Год выпуска: 2009
ISBN: 978-5-397-00056-7
Формат: 60x90/16
Кол-во страниц: 120

Описание: Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".

Цена: 237 руб.

Купить на




Знаете ли Вы, что ...
Обострение
Обострение (recrudescence) - рецидив заболевания после периода клинического улучшения или ремиссии ...
Компенсация
Компенсация (compensation) - возмещение какого-либо функционального или структурного недостатка. Например, компенсация ...
Здоровье
Здоровье - это состояние полного физического, духовного и социального благополучия, а не только отсутствие болезней или ...
Аттестация рабочих мест по условиям труда
Аттестация рабочих мест по условиям труда - оценка условий труда на рабочих местах в целях выявления вредных и (или) опасных ...
Ятрогения
Ятрогения (от греч. iatros - врач и genes - порождающий) - неблагоприятное изменение психического состояния вплоть до неврозов, ...
Эпизоотический процесс (эпизоотии)
Эпизоотический процесс (эпизоотии) - распространение болезней среди животных.

RSS лента
Администрирование
Источник знаний © 2009 Все права защищены