Скачать 245.2 Kb.
|
РОССИЙСКАЯ ФЕДЕРАЦИЯРОССИЙСКАЯ ФЕДЕРАЦИЯМИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИГосударственное образовательное учреждение высшего профессионального образования ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИНСТИТУТ МАТЕМАТИКИ И КОМПЬЮТЕРНЫХ НАУККАФЕДРА АЛГЕБРЫ И МАТЕМАТИЧЕСКОЙ ЛОГИКИИВАНОВ Д. И. МАТЕМАТИЧЕСКАЯ ЛОГИКАУчебно-методический комплекс. Рабочая программа для студентов очной формы обучения, направление 010500.62 «Математическое обеспечение и администрирование информационных систем», профили подготовки: «Технологии программирования», «Параллельное прграммирование». Тюменский государственный университет 2011 Иванов Д.И. Математическая логика. Учебно-методический комплекс. Рабочая программа для студентов очной формы обучения, направления 010500.62 «Математическое обеспечение и администрирование информационных систем», профили подготовки: «Технологии программирования», «Параллельное программирование». Тюмень, 2011, 13 стр. Рабочая программа составлена в соответствии с требованиями ФГОС ВПО с учетом рекомендаций и ПрООП ВПО по направлению и профилю подготовки. Рабочая программа дисциплины опубликована на сайте ТюмГУ: «Математическая логика» http://www.umk3.utmn.ru [электронный ресурс] / Режим доступа: свободный. Рекомендовано к изданию кафедрой алгебры и математической логики. Утверждено проректором по учебной работе Тюменского государственного университета. ОТВЕТСТВЕННЫЙ РЕДАКТОР: Кутрунов В.Н., д. ф.-м. н., профессор.© Тюменский государственный университет, 2011. © Иванов Д.И., 2011.
Дисциплина "Математическая логика" обеспечивает приобретение знаний и умений в соответствии с Федеральным государственным образовательным стандартом, содействует фундаментализации образования, формированию мировоззрения и развитию логического мышления. Цели дисциплины: - овладение студентами математическим аппаратом, необходимым для применения математических методов в практической деятельности и в исследованиях; - ознакомление студентов с понятиями, фактами и методами, составляющими теоретические основы информатики; - развитие логического мышления; - обеспечение студентов знаниями по математической логике, необходимые для понимания математики, теории вероятностей и других математических дисциплин. Задачи изучения дисциплины: - изучить материал дисциплины; - усвоить основные понятия и методы, изучаемые в процессе освоения материала дисциплины; - приобрести навыки самостоятельного решения задач различной степени сложности; - выработать умение проводить анализ полученных в процессе решения фактов и результатов; - обобщить и систематизировать полученные знания, умения и навыки.
Дисциплина «Математическая логика» входит в цикл профессиональных дисциплин базовой части Федерального государственного образовательного стандарта высшего профессионального образования (ФГОС ВПО) по направлению «Математическое обеспечение и администрирование информационных систем». Дисциплина «Математическая логика» базируется на знаниях, полученных в рамках школьного курса математика или соответствующих дисциплин среднего профессионального образования. Для ее успешного изучения необходимы также знания и умения, приобретенные в результате освоения фундаментальной и компьютерной алгебры. В ходе изучения дисциплины «Математическая логика» студенты должны усвоить основные понятия и методы математической логики, получить основные сведения о структурах, используемых в персональных компьютерах. Освоение дисциплины предусматривает приобретение навыков работы с соответствующими учебниками, учебными пособиями, монографиями, научными статьями. На основе приобретенных знаний формируются умения применять математические методы при решении профессиональных задач повышенной сложности, владеть методами построения математической модели профессиональных задач и содержательной интерпретации полученных результатов. Знание математической логики может существенно помочь в научно-исследовательской работе. |
Рабочая программа для студентов очной формы обучения. Направление... Рабочая программа дисциплины «Алгебра» для студентов очной формы обучения по направлению подготовки 010500. 62 «Математическое обеспечение... | Основная образовательная программа высшего профессионального образования... Основная образовательная программа высшего профессионального образования, реализуемая вузом по направлению подготовки 010500 Математическое... | ||
Учебно-методический комплекс для студентов не психологических специальностей... Гидрология 010100. 62 Математика 010101. 65 Математика 010101. 65 Математика 010101. 65 Математика 010300. 62 Математика. Компьютерные... | Рабочая программа дисциплины (модуля) опубликована на сайте ТюмГУ:... В. Философия. Учебно-методический комплекс. Рабочая программа для студентов направления 010500. 62 " Математическое обеспечение и... | ||
Рабочая программа для студентов специальности 010500. 65 Математическое... Федеральное Государственное бюджетное образовательное учреждение высшего профессионального образования | Основная образовательная программа высшего профессионального образования... Федеральные законы Российской Федерации: «Об образовании» (от 10 июля 1992 г. №3266-1) и «О высшем и послевузовском профессиональном... | ||
Пояснительная записка рабочая программа дисциплины «Иностранный язык... «Математика и компьютерные науки», 010500. 62 «Математическое обеспечение и администрирование информационных систем», 230100. 62... | Рабочая программа для студентов очной формы обучения направление... Иванов Д. И. Математическая логика и теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов очной формы... | ||
Государственный образовательный стандарт Общая характеристика специальности 351500 «математическое обеспечение и администрирование информационных систем» | Учебно-методический комплекс рабочая программа для студентов очной формы обучения Шармин Д. В. История и методология математики. Учебно-методический комплекс. Рабочая программа для студентов очной формы обучения,... | ||
Учебно-методический комплекс рабочая программа для студентов очной формы обучения Шармин Д. В. История развития математической науки. Учебно-методический комплекс. Рабочая программа для студентов очной формы обучения,... | Рабочая программа для студентов очной формы обучения направление... Иванов Д. И. Дополнительные главы лгебры. Учебно-методический комплекс. Учебно-методический комплекс. Рабочая программа для студентов... | ||
Пример типового теста для студентов 5 курса специальности «математическое... Государственного образовательного стандарта высшего профессионального образования II поколения (номер государственной регистрации... | Рабочая программа для студентов очной формы обучения, направление... Иванов Д. И. Математическая логика и теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов очной формы... | ||
Рабочая программа для студентов направлений: 090301. 65 «Компьютерная безопасность» ... | Программа для студентов специальности 010503. 65 «Математическое... Целью изучения курса «Математическая экономика» является приобретение умений построения математических моделей и навыков алгоритмизации... |