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

UptoLike

ВУЗ: 

ПГУТИ | Самара

Составители: 

Рубрика: 

7
Содержание.
Введение.
Глава 1. Высказывания, формулы, тавтологии.
Отношения логической эквивалентности и логического следствия.
Задачи.
Глава 2. Формальные теории.
Глава 3. Исчисление высказываний.
Построение вывода в логике высказываний.
Задачи.
Глава 4. Метод резолюций в логике высказываний.
Задачи.
Глава 5. Предикаты.
Задачи.
Глава 6. Исчисление предикатов.
Теория равенства.
Формальная арифметика.
Теория
частично упорядоченных множеств.
Задачи.
Глава 7. Алгоритмы.
Глава 8. Рекурсивные функции.
Задачи.
Глава 9. Машины Тьюринга.
Операции с машинами Тьюринга.
Принцип двойственности.
Способы композиции машин Тьюринга.
Задачи.
Ответы и указания.
Литература.
Введение.
Логикой называют науку о законах и формах мышления. Формальная логика
изучает формы правильных рассуждений. Математическая логика – часть
формальной логики – изучает формы рассуждений, принятые в математике.
В настоящее время значение математической логики в инженерном
образовании возрастает в связи с необходимостью развития математического
мышления, а также изучения дискретной или компьютерной математики
.
Математическая логика и теория алгоритмов являются основой курса дискретной
математики, что нашло отражение в данном учебном пособии.
Учебное пособие адресовано студентам, обучающимся по направлениям
210300 – радиотехника, 230000 – информатика и вычислительная техника, и по
специальностям: 210401 – физика и техника оптической связи, 210402 – средства
связи с подвижными объектами, 210403 – защищенные системы связи, 210404 –
многоканальные телекоммуникационные системы, 210405 – радиосвязь, 
Содержание.
Введение.
Глава 1. Высказывания, формулы, тавтологии.
     Отношения логической эквивалентности и логического следствия.
     Задачи.
Глава 2. Формальные теории.
Глава 3. Исчисление высказываний.
      Построение вывода в логике высказываний.
      Задачи.
Глава 4. Метод резолюций в логике высказываний.
      Задачи.
Глава 5. Предикаты.
      Задачи.
Глава 6. Исчисление предикатов.
      Теория равенства.
      Формальная арифметика.
      Теория частично упорядоченных множеств.
      Задачи.
Глава 7. Алгоритмы.
Глава 8. Рекурсивные функции.
      Задачи.
Глава 9. Машины Тьюринга.
      Операции с машинами Тьюринга.
      Принцип двойственности.
      Способы композиции машин Тьюринга.
      Задачи.
Ответы и указания.
Литература.


Введение.

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


                                      7

Страницы