УЧЕБНИКИ
ДЛЯ ВУЗОВ

   
Наука есть ясное познание истины, просвещение разума, непорочное увеселение жизни, похвала юности, старости подпора, строительница градов, полков, крепость успеха в несчастии, в счастии - украшение, везде верный и безотлучный спутник.
Ломоносов М. В.

Учебники для вузов: Новинки



Для связи: info@vuz-uchebniki.ru




высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов


А. К. Гуц

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




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






Студенту на заметку:
Саморасширяющаяся мнемоническая матрица от Тони Бьюзена
Кроме того, книга содержит большое количество разбросанных по всей книге примеров феноменальной памяти. PВпрочем, у меня создалось ощущение, что самое главное в книге, то ради чего он затеял ее написание, как раз и заключается в SEM3. Все остальное добавлено для связности, логичности и занятности изложения.P Что же это за матрица такая? Эта матрица позволяет без труда кодировать в образы числа от 0 до 9999. В отличие от других систем нет необходимости сразу придумывать все ...


Саморасширяющаяся мнемоническая матрица от Тони Бьюзена
Кроме того, книга содержит большое количество разбросанных по всей книге примеров феноменальной памяти. PВпрочем, у меня создалось ощущение, что самое главное в книге, то ради чего он затеял ее написание, как раз и заключается в SEM3. Все остальное добавлено для связности, логичности и занятности изложения.P Что же это за матрица такая? Эта матрица позволяет без труда кодировать в образы числа от 0 до 9999. В отличие от других систем нет необходимости сразу придумывать все ...