Математическая логика и теория алгоритмов (стр. 6 )

Судоплатов, логика и теория алгоритмов : учебник / ,  . – 3-е изд. – Новосибирск: НГТУ, 2012. – 254 с. – (Учебники НГТУ). – ISBN 978-5-7782-1838-3 ; То же [Электронный ресурс]. –

URL:  http://biblioclub. ru/index. php? page=book&id=135676  (05.11.2014).

Триумфгородских, математика и математическая логика для информатиков, экономистов и менеджеров : учебное пособие / ; под ред. . – М.: Диалог-МИФИ,  2011. – 180 с. – ISBN 978-5-86404-238-0; То же [Электронный ресурс]. –

URL:http://biblioclub. ru/index. php? page=book&id=136106  (05.11.2014).

б)  дополнительная  литература:

,   Математическая логика. – СПб.: Издательство “Лань”, 2004.   Введение в метаматематику. – М.: ИЛ, 1961.   Математическая логика. – М.: Мир, 1973. ,   Введение в математическую логику. – М.: Изд-во МГУ, 1984. ж.  Теория множеств и континуум-гипотеза. – М.: Мир, 1969.   Введение в математическую логику. – М.: Наука, 1976.   Элементы математической логики. – М.: Наука, 1973.   Как же называется эта книга? – М.: Мир, 1981.   Принцесса или тигр? – М.: Мир, 1985. ведение в математическую логику. – М: Мир, 1960.

в)  Программное  обеспечение  и  интернет-ресурсы:

Математическая логика  // Википедия: свободная энциклопедия. – Электрон. дан. – Режим доступа:  http://ru. wikipedia. org/wiki/Математическая_логика Машина Тьюринга  // Википедия: свободная энциклопедия. – Электрон. дан. – Режим доступа:  http://ru. wikipedia. org/wiki/Машина_Тьюринга Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета http://lib. mexmat. ru eLIBRARY – Научная электронная библиотека (Москва) http://elibrary. ru

13. Перечень  информационных  технологий,  используемых  при 

осуществлении  образовательного  процесса  по  дисциплине,  включая перечень  программного  обеспечения  и  информационных  справочных

систем  (при необходимости)

При выполнении практических работ в качестве информационных технологий может использоваться следующее программное обеспечение:

Microsoft Word. Microsoft Excel. Microsoft PowerPoint.

14.  Материально-техническое  обеспечение  дисциплины

Компьютерный класс с компьютерами:  микропроцессор не ниже Pentium  IV,  объём  ПЗУ  не меньше 2-3 ГБ, объем  ОЗУ  не меньше  512 МБ,  операционная система  Windows  XP / 7  с текстовым редактором  Word – 2003  и средами программирования  TurboPascal  или Delphi.

15.  Методические указания для обучающихся по освоению дисциплины

Дисциплина  “Математическая логика и теория алгоритмов”  относится к базовой части  ОП,  её трудоёмкость составляет  5  зачётных единиц,  180  академических часов, из них  56  часов, выделенных на контактную работу с преподавателем  (12  часов в интерактивном режиме),  88  часов выделено на самостоятельную работу.  Дисциплина изучается в  IX  семестре,  формы контроля: экзамен в  IX  семестре.

Необходимость введения дисциплины в образовательный стандарт специальности  44.03.05  –  “Педагогическое образование”  обусловлена достаточно широким применением элементов математической логики и теории алгоритмов как в конструировании так и в применении современных вычислительных машин в самых разных областях знаний. Кроме того, знание основ математической логики и теории алгоритмов повышает логическую культуру будущих учителей, позволяющую грамотно оперировать школьными математическими понятиями, чётко представлять логическую структуру изучаемых дисциплин.

В процессе изучения теоретического курса обучающиеся должны:

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

Примеры в лекционном курсе и для практических занятий должны побуждать обучающихся устанавливать необходимые логические связи, связь со своей будущей специальностью.

Объём самостоятельной работы – 88 часов. Особое внимание должно быть уделено выполнению контрольной работы, т. к. она охватывает все разделы изучаемого курса. Необходимы регулярные консультации для должной организации самостоятельной работы обучающегося как по изучению вынесенных для этого тем, так и выполнения практических заданий.

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

Экзамен по дисциплине состоит из контроля теоретической части и умения решать стандартные задачи.  В каждом билете – один вопрос и одна задача по теме билета.