Методические рекомендации по написанию контрольной работы для студентов заочного отделения Южно-Сахалинск 2009 г






Скачать 443.43 Kb.
НазваниеМетодические рекомендации по написанию контрольной работы для студентов заочного отделения Южно-Сахалинск 2009 г
страница1/5
Дата публикации05.02.2015
Размер443.43 Kb.
ТипМетодические рекомендации
top-bal.ru > Математика > Методические рекомендации
  1   2   3   4   5


НЧОУ ВПО ЮЖНО-САХАЛИНСКИЙ ИНСТИТУТ ЭКОНОМИКИ,

ПРАВА И ИНФОРМТИКИ

Кафедра естественнонаучных дисциплин

МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ


МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ ПО НАПИСАНИЮ КОНТРОЛЬНОЙ РАБОТЫ

для студентов заочного отделения

Южно-Сахалинск

2009 г.

Методические рекомендации по написанию контрольной работы по дисциплине “Математическая логика и теория алгоритмов” для студентов заочного отделения

Сост. Филенко Е.С.; ЮСИЭПиИ. Юж.-Сах., 2009. – 34 с.


Составитель

Старший преподаватель кафедры ЕНД Филенко Е.С.

Обсуждена

на заседании кафедры ЕНД

« » ___________ 200_ г., протокол № ___


Утверждено

на заседании учебно-методического Совета ЮСИЭПиИ

« »___________ 200_ г., протокол № __

© Южно-Сахалинский институт экономики, права и информатики, 2009 г.

Оглавление


^ МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ 1

Оглавление 3

ВВЕДЕНИЕ 4

Место дисциплины в учебном процессе. 5

Цель преподавания дисциплины. 5

Задачи преподавания дисциплины. 5

Требования к знаниям студентов. 6

Итоговая форма контроля: экзамен. Учебным планом предполагается написание контрольной работы. 7

§2 Рассуждения 8

2.1 Справочные сведения 8

2.2. Алгоритмы проверки правильности рассуждения: 9

§ 3 ЛОГИКА ПРЕДИКАТОВ 17

3.1. Основные понятия 17

Пример 4.2: Проверить, является ли функция монотонной: 26

F=x|y 26

Построим таблицу истинности 26

для данной функции построим таблицу истинности, будем следить за тем, чтобы наборы значений переменных обязательно находились в отношении упорядочения. Используем правила приоритета операций: 26

x|y 26

Вывод: функция не является монотонной. 26

Варианты контрольных работ: 27

Литература: 34



ВВЕДЕНИЕ


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

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

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

Последний раздел курса посвящен теории алгоритмов. Здесь рассматривается лишь один класс алгоритмов - машины Тьюринга как общего вида, так и наиболее важные их подклассы.
  1   2   3   4   5

Добавить документ в свой блог или на сайт

Похожие:

Методические рекомендации по написанию контрольной работы для студентов заочного отделения Южно-Сахалинск 2009 г iconМетодические указания и контрольные задания для студентов заочного...
Цель контрольной работы – глубже изучить и практически освоить данную дисциплину. К написанию контрольной работы студент приступает...

Методические рекомендации по написанию контрольной работы для студентов заочного отделения Южно-Сахалинск 2009 г iconМетодические указания по написанию контрольной работы и проведению...
Целью курса «Статистика» является ознакомление студентов со статистической методологией сбора и анализа экономической информации,...

Методические рекомендации по написанию контрольной работы для студентов заочного отделения Южно-Сахалинск 2009 г iconМетодические указания по написанию контрольных работ для студентов...
Экологическое право: Метод указания по написанию контрольных работ для студентов заочного отделения Юрид ин-та / Сиб фед ун-т; Сост.:...

Методические рекомендации по написанию контрольной работы для студентов заочного отделения Южно-Сахалинск 2009 г iconМетодические указания к выполнению контрольной работы по физике для...
...

Методические рекомендации по написанию контрольной работы для студентов заочного отделения Южно-Сахалинск 2009 г iconМетодические указания для студентов 2 курса судомеханического факультета заочного отделения
Методические указания предназначены для студентов 2 курса смф заочного отделения и составлены для организации работы студентов-заочников...

Методические рекомендации по написанию контрольной работы для студентов заочного отделения Южно-Сахалинск 2009 г iconМетодические указания по написанию контрольной работы контрольная...
Ссылки на нормативно-правовые акты выполняются в следующем порядке: название правового акта, кем принят, дата принятия, где официально...

Методические рекомендации по написанию контрольной работы для студентов заочного отделения Южно-Сахалинск 2009 г iconМетодические рекомендации по написанию курсовой работы по дисциплине «Экономическая теория»
Невская, Н. А. Методические рекомендации по написанию по написанию курсовой работы по дисциплине «Экономическая теория» для студентов...

Методические рекомендации по написанию контрольной работы для студентов заочного отделения Южно-Сахалинск 2009 г iconМетодические указания и задания контрольной работы для слушателей...
Ческие указания и задания контрольной работы для слушателей и студентов заочного обучения по специальности 280705 Пожарная безопасность...

Методические рекомендации по написанию контрольной работы для студентов заочного отделения Южно-Сахалинск 2009 г iconМетодические рекомендации для студентов-заочников по английскому языку стр из Содержание
Методические рекомендации для выполнения контрольной работы №1

Методические рекомендации по написанию контрольной работы для студентов заочного отделения Южно-Сахалинск 2009 г iconМетодические рекомендации по прохождению практики по специальности:...
Методические рекомендации по прохождению практики предназначена для студентов специальности 100103. 65 «Социально-культурный сервис...



Школьные материалы


При копировании материала укажите ссылку © 2018
контакты
top-bal.ru

Поиск