Читать реферат по всему другому: "Методические рекомендации по изучению дисциплины для студентов специальностей 080801 «Прикладная информатика в экономике», 230201 «Информационные системы и технологии» Бийск" Страница 3

(Назад) (Cкачать работу)

20 Доказывать принадлежность функции классу рекурсивных функций

21 Применять машину Тьюринга к заданной начальной конфигурации

7 Соответствие между интуитивным понятием алгоритма, рекурсивной функцией и машиной Тьюринга

22 Строить машину Тьюринга, вычисляющую заданную функцию

Для изучения дисциплины «Математическая логика и теория алгоритмов» требуется, чтобы студент владел базовыми понятиями теории множеств (множество, подмножество, отношение, функция и др.).

Курс «Математическая логика и теория алгоритмов» является базовым для многих дисциплин, изучаемых в дальнейшем студентами специальностей «Прикладная информатика в экономике» и «Информационные системы и технологии». В частности, сказанное относится к другой математической дисциплине, дискретной математике.

Кроме того, успешное овладение методами математической логики и теории алгоритмов снимает трудности вхождения студентов специальности «Информационные системы и технологии» в такие общепрофессиональные и специальные дисциплины, как «Теория информационных процессов и систем», «Управление данными», «Моделирование систем», «Основы теории управления», «Алгоритмы и методы переработки информации», а студентов специальности «Прикладная инофрматика в экономике» – «Методы оптимального управления», «Информационный менеджмент», «Моделирование информационных процессов», «Проектирование информационных систем» и др. В этой связи будущие специалисты должны владеть дискретными методами формализованного представления информации. Речь идет о методах, основанных на логических представлениях.

Модуль 1 – Логика

высказываний

Модуль 2 – Логика предикатов

Модуль 3 – Теория

алгоритмов

Рисунок 1 – Структура курса

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

Изучение математической логики студентами данных специальностей осуществляется во втором семестре. Основными разделами математической логики являются: логика высказываний, логика предикатов, теория алгоритмов. Структура курса «Математическая логика и теория алгоритмов» представлена на рисунке 1.

Выделяются три модуля, тесно связанные друг с другом. В двух первых модулях изучаются логические представления – описание исследуемой системы, процесса, явления в виде совокупности сложных высказываний, составленных из простых (элементарных) высказываний и логических связок между ними. Логические представления и их составляющие характеризуются определенными свойствами и набором допустимых преобразований над ними (операций, правил вывода и т.п.), реализующих разработанные в формальной логике правильные методы рассуждений – законы логики.

Модуль 1 – Логика высказываний. Логика высказываний является фундаментом математической логики. Основным объектом рассмотрения в ней является высказывание. Все научные знания (законы и явления физики, химии, биологии и др., математические теоремы), события повседневной жизни, ситуации, возникающие в экономике и процессах управления, формулируются в виде высказываний, относительно которых мы должны знать, истинны они или ложны, т.е. знать их истинностные значения.

Модуль 2 – Логика предикатов. Логика предикатов представляет собой разитие

Похожие работы