Аннотация рабочей программы «Математическая логика»




Скачать 12.91 Kb.
НазваниеАннотация рабочей программы «Математическая логика»
Дата14.03.2013
Размер12.91 Kb.
ТипДокументы
Аннотация рабочей программы «Математическая логика»

Дисциплина (Б2.В.ОД.1) «Математическая логика» является вариативной частью Математического и естественнонаучного цикла подготовки студентов направления 010400 Прикладная математика и информатика. Дисциплина реализуется на Инженерно-экономическом факультете СамГТУ кафедрой Прикладной математики информатики.

Цели и задачи дисциплины: воспитание высокой математической культуры; привитие навыков современных видов математического мышления; использование математических методов и математического моделирования в практической деятельности.

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

Дисциплина нацелена на формирование общекультурных компетенций ОК-1, ОК-16 и профессиональных компетенций ПК-3, ПК-9 выпускника.

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

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

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

Общая трудоёмкость освоения дисциплины составляет 2 зачётных единицы, 72 часа. Программой дисциплины предусмотрены лекционные (18 ч), практические (18 ч) занятия и 36 ч самостоятельной работы студента.


Похожие:

Аннотация рабочей программы «Математическая логика» iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Аннотация рабочей программы «Математическая логика» iconМетодическое пособие по дисциплине "Математическая логика " Екатеринбург 2011 Оглавление Математическая логика как наука 4 Глава Исчисление высказываний 6 Высказывания 6 2 Формулы 7 3
Слово «Логика» означает систематический метод рассуждений, но обычно под логикой понимают анализ методов рассуждений. Логика – наука...
Аннотация рабочей программы «Математическая логика» icon«Математическая логика и теория алгоритмов»
Математическая логика и теория алгоритмов" является фундаментальное образование в области принципов построения эффективных и надежных...
Аннотация рабочей программы «Математическая логика» iconРабочая программа по дисциплине в 2-Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов в соответствии требованиями фгос впо, утвержденного приказом Министра образования и науки...
Аннотация рабочей программы «Математическая логика» iconС. А. Зададаев математическая логика
Рецензент: Т. Л. Мелехина, доцент кафедры «Теория вероятностей и математическая статистика»
Аннотация рабочей программы «Математическая логика» iconАннотация рабочей программы
Теория вероятностей и математическая статистика» является вариативной частью Профессионального цикла дисциплин подготовки студентов...
Аннотация рабочей программы «Математическая логика» iconМеждународная конференция «Алгебра и математическая логика», посвященная 100-летию со дня рождения В. В. Морозова г. Казань, 25–30 сентября 2011 г
Институт математики имени С. Л. Соболева со ран и Академия наук Республики Татарстан организуют международную конференцию "Алгебра...
Аннотация рабочей программы «Математическая логика» iconПрограмма дисциплины математическая логика и теория алгоритмов
Рабочая программа дисциплины "Математическая логика и теория алгоритмов" предназначена для студентов 3 курса
Аннотация рабочей программы «Математическая логика» iconПрограмма дисциплины «Математическая логика» для направления
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления подготовки 231300....
Аннотация рабочей программы «Математическая логика» iconПрограмм а
В основу настоящей программы положены следующие дисциплины: математическая логика; алгебра; теория чисел
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib.znate.ru 2014
обратиться к администрации
Библиотека
Главная страница