Рабочей программы «Математическая логика» Дисциплина ( В. Од. 1) «Математическая логика»



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

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

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

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

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

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

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

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

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



Похожие:

Рабочей программы «Математическая логика» Дисциплина ( В. Од. 1) «Математическая логика» iconТехнологий В. П. Битюцкий Н. В. Папуловская Математическая логика. Исчисления высказываний и предикатов Методическое пособие по дисциплине "Математическая логика и теория алгоритмов" Екатеринбург 2005 удк

Рабочей программы «Математическая логика» Дисциплина ( В. Од. 1) «Математическая логика» iconМосковская государственная академия приборостроения и информатики кафедра " Персональные компьютеры и сети"
Ульянов М. В., Шептунов М. В. Математическая логика и теория алгоритмов, часть 1: Математическая логика. – М.: Мгапи, 2003. – 47...
Рабочей программы «Математическая логика» Дисциплина ( В. Од. 1) «Математическая логика» iconЭкзамен по спецкурсу и спецсеминару Математическая логика
Математическая логика. Высказывания. Таблицы истинности. Основные логические операции, их свойства. Упрощение логических выражений....
Рабочей программы «Математическая логика» Дисциплина ( В. Од. 1) «Математическая логика» iconПрограмма-минимум кандидатского экзамена по специальности 01. 01. 06 «Математическая логика, алгебра и теория чисел» по физико-математическим наукам
В основу настоящей программы положены следующие дисциплины: математическая логика; алгебра; теория чисел
Рабочей программы «Математическая логика» Дисциплина ( В. Од. 1) «Математическая логика» iconМатематическая логика
Пособие содержит теоретический материал по дисциплине “Математическая логика”, типовые задачи с решениями, упражнения для самостоятельной...
Рабочей программы «Математическая логика» Дисциплина ( В. Од. 1) «Математическая логика» iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление подготовки 230700 Прикладная информатика
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Рабочей программы «Математическая логика» Дисциплина ( В. Од. 1) «Математическая логика» iconМатематическая логика
Основными разделами математической логики является: логика высказываний, логика предикатов, металогика
Рабочей программы «Математическая логика» Дисциплина ( В. Од. 1) «Математическая логика» icon3 Введение. Математическая логика в системе современного образования 6
Математическая логика и теория алгоритмов: Учеб посо­бие для студ высш учеб заведений / Владимир Иванович Игошин. — М.: Издательский...
Рабочей программы «Математическая логика» Дисциплина ( В. Од. 1) «Математическая логика» iconУчебная программа Дисциплины р2 «Математическая логика и теория алгоритмов»
Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория...
Рабочей программы «Математическая логика» Дисциплина ( В. Од. 1) «Математическая логика» icon1. Организационно-методический раздел. 1 Название курса. Математическая логика и теория алгоритмов
Основной курс "Математическая логика и теория алгоритмов" предназначен для студентов первого курса отделения прикладной инфоматики...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org