Математическая логика и теория алгоритмов, Сергиевская И.М., 2004

Математическая логика и теория алгоритмов, Сергиевская И.М., 2004.

   Логикой называют науку о законах и формах мышления. Формальная логика изучает формы правильных рассуждений. Математическая логика - часть формальной логики - изучает формы рассуждений, принятые в математике.
В настоящее время значение математической логики в инженерном образовании возрастает в связи с необходимостью развития математического мышления, а также изучения дискретной или компьютерной математики. Математическая логика и теория алгоритмов являются основой курса дискретной математики, что нашло отражение в данном учебном пособии.
Учебное пособие адресовано студентам, обучающимся по направлениям 210300 - радиотехника, 230000 - информатика и вычислительная техника, и по специальностям: 210401 - физика и техника оптической связи, 210402 - средства связи с подвижными объектами, 210403 - защищенные системы связи, 210404 - многоканальные телекоммуникационные системы, 210405 - радиосвязь,
радиовещание и телевидение, 210406 - сети связи и системы коммутации, и полностью соответствует действующему Государственному образовательному стандарту высшего профессионального образования и требованиям квалификационной характеристики выпускника. Теоретическая часть пособия основана на лекциях, читанных автором в Поволжской государственной академии телекоммуникаций и информатики.




Алгоритмы.
Понятие алгоритма в настоящее время широко используется, тем не менее, строго это понятие не определено.

В математике алгоритм означает точное предписание, которое задаст вычислительный процесс, начинающийся с исходных данных и направленный па получение полностью определенного исходными данными результата (см., например, [9]).

Алгоритм может оперировать не только с числами, но и с любыми символами и их последовательностями (словами). Следовательно, алгоритм можно понимать более широко, как тот или иной способ или путь решения некоторой задачи. Примерами могут быть: алгоритм расстановки мебели в квартире, алгоритм строительства дома и т.д.

СОДЕРЖАНИЕ.
Введение.
Глава 1. Высказывания, формулы, тавтологии.
Отношения логической эквивалентности и логического следствия.
Задачи.
Глава 2. Формальные теории.
Глава 3. Исчисление высказываний.
Построение вывода в логике высказываний.
Задачи.
Глава 4. Метод резолюций в логике высказываний.
Задачи.
Глава 5. Предикаты.
Задачи.
Глава 6. Исчисление предикатов.
Теория равенства.
Формальная арифметика.
Теория частично упорядоченных множеств.
Задачи.
Глава 7. Алгоритмы.
Глава 8. Рекурсивные функции.
Задачи.
Глава 9. Машины Тьюринга.
Операции с машинами Тьюринга.
Принцип двойственности.
Способы композиции машин Тьюринга.
Задачи.
Ответы и указания.
Литература.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Математическая логика и теория алгоритмов, Сергиевская И.М., 2004 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.




Теги: учебник по математике :: математика :: Сергиевская :: алгоритм :: логика