x-uni.com
регистрация / вход
сейчас на линии 68 чел.
x-uni.com
x-uni.com
 
Математика
Биология
Литература
Русский язык
ВИДЕО
Физика
Химия
История
Английский
 
ВИДЕО
 
 
регистрация / вход
сейчас на линии 68 чел.
Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013

Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013

Математическая логика и теория алгоритмов, Анкудинов Г.И., Анкудинов И.Г., Петухов О.А., 2013.

Учебное пособие соответствует государственному образовательному стандарту дисциплины "Математическая логика и теория алгоритмов" направления подготовки дипломированных специалистов 654600 — "Информатика и вычислительная техника" (Специальность 220100 — ""Вычислительные машины, комплексы, системы и сети") и направления подготовки бакалавров 552800 — ""Информатика и вычислительная техника ".
В пособии излагаются разделы математической логики и теории алгоритмов, необходимые для освоения общепрофессиональных и специальных дисциплин специальности 220100. Достаточно подробно изложены основы логики высказываний и логики предикатов, включая приложение логики предикатов к доказательству правильности алгоритмов. Пособие содержит вводный материал по логическому программированию и клаузальной логике, а также основные понятия нечеткой и модальной логики. Приведены основы теории алгоритмов и алгоритмической разрешимости, доказательство эквивалентности моделей алгоритмов Тьюринга и рекурсивных схем Клини. Пособие содержит также введение в теорию эффективной вычислимости, переборных NP-нолных и NP-трудных задач.

1.7. Формальные теории и исчисление высказываний.
Формальная теория это
а) Множество правильно построенных формул (ППФ), или выражений, определяющих язык теории.
б) Подмножество формул множества ППФ, называемых аксиомами теории.
в) Правила вывода, т.е. конечное множество отношений между формулами.
Доказательством называется конечная последовательность
формул Ф, такая, что каждая Ф есть либо аксиома, либо
получена из предыдущих формул по одному из правил вывода.


ОГЛАВЛЕНИЕ

Глава 1. Логика высказываний.
1.1. Логические операции над высказываниями.
1.2. Составные высказывания.
1.3. Основные тавтологии.
1.4. Равносильные формулы.
1.5. Логическое следование.
1.6. Логические функции.
1.7. Формальные теории и исчисление высказываний
Глава 2. Логика предикатов.
2.1. Основные понятия теории множеств.
2.2. Определение предиката.
2.3. Операции над предикатами.
2.4. Логические операции квантификации.
2.5. Исчисление предикатов.
2.6. Логика доказательства правильности алгоритмов
и программ.
Глава 3. Варианты логики и логическое программирование.
3.1. Стандартная логика.
3.2. Клаузальная логика.
3.3. Логическое программирование.
3.4. Prolog - язык логического программирования.
3.5. Другие варианты логики.
Глава 4. Элементы теории алгоритмов.
4.1. Понятие алгоритма.
4.2. Машина Тьюринга.
4.3. Элементы теории рекурсивных функций.
4.4. Эквивалентность алгоритмических систем.
4.5. Универсальные машины Тьюринга
и алгоритмическая разрешимость.
Глава 5. Эффективность алгоритмов.
5.1.Переборные задачи и сложность вычислений.
5.2. Классы задач Р и NP.
5.3. Класс NP-полных задач.
5.4. Труднорешаемые задачи.
Литература.

Скачать бесплатно на сайте fileskachat.com
Скачать бесплатно на сайте yadi.sk

Предложения интернет-магазинов

Информатика. Теоретические основы. Учебное пособие для подготовки к ЕГЭ (+CD)

Автор(ы): Нурмухамедов Геннадий Михайлович, Соловьева Людмила Федоровна   Издательство: BHV, 2012 г.  Серия: Информатика и ИКТ

Цена: 229 руб.   Купить

Книга предназначена для углубленной подготовки учащихся 11 классов и выпускников общеобразовательных школ по теоретической информатике и включает следующие разделы: информатика и информация, устройство ЭВМ, двоичная арифметика, бинарная логика, информационные системы, информационные модели, основы теории алгоритмов, программный способ записи алгоритмов. Представленные материалы также могут быть полезны студентам средних специальных учебных заведений и младших курсов профильных вузов. Книга сопровождается авторским компакт-диском, содержащим электронную версию книги с элементами интерактивного обучения.


Математическая разминка. 2 класс. Устный счет в трех уровнях

Автор(ы): Полникова М. Ю.   Издательство: Смио-Пресс, 2013 г.

Цена: 149 руб.   Купить

Математическая разминка. 2 класс. Устный счет в трех уровнях. Учебное пособие по математике для учащихся 2 класса. 2-е издание.


Математическая разминка. 4 класс. Устный счет в трех уровнях

Автор(ы): Полникова М. Ю.   Издательство: Смио-Пресс, 2012 г.

Цена: 184 руб.   Купить

Математическая разминка. 4 класс. Устный счет в трех уровнях. Учебное пособие по математике для учащихся 4 класса.


Паскаль для школьников. Подготовка к ЕГЭ

Автор(ы): Кашаев Сергей Михайлович   Издательство: BHV, 2014 г.  Серия: Информатика и ИКТ

Цена: 393 руб.   Купить

Подробно описаны приемы программирования на Паскале и технология разработки различных алгоритмов программ с акцентом на темы, выносимые на Единый государственный экзамен по информатике и информационно-коммуникационным технологиям. Рассматриваются: описание языка Паскаль, конструкции алгоритмов и блок-схемы, одномерные и двумерные массивы, строки и записи, файлы, численное интегрирование и анализ функций, подпрограммы и функции, работа с данными. По каждому разделу приводится теоретическая информация и типовые задания с подробными пояснениями. По темам, выносимым на прошедшие ЕГЭ, в том числе 2013 года, что отличает третье издание, в соответствующих главах приводятся примеры заданий этих ЕГЭ. Книга может использоваться как при подготовке к ЕГЭ, так и в текущем учебном процессе учащимися и учителями школ и колледжей, а также для самостоятельного изучения языка программирования Паскаль. 3-е издание, переработанное и дополненное.

ПЕДСОВЕТ / ФОРУМ

Новости образования

Новости науки

флаг италииX-UNI рекомендует репетитора итальянского языка: yuliyavenezia (Скайп).

Репетитор по Скайпу без посредников

Неограниченная аудитория, свободный график. Начните свой бизнес здесь!