К рабочей программе дисциплины б. 14 Математическая логика и ее приложения в компьютерных науках



Скачать 12.26 Kb.
Pdf просмотр
Дата15.02.2017
Размер12.26 Kb.
Просмотров140
Скачиваний0

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

Б1.Б.14 Математическая логика и ее приложения в компьютерных науках

Направление подготовки
02.03.01 Математика и компьютерные науки
Профиль
Вычислительные, программные, информационные системы и компьютерные технологии
Степень бакалавр
Форма обучения
Очная
Курс
2 курс семестр(ы) изучения
3 семестр
Количество зачетных единиц
6
Форма промежуточной аттестации (зачет/экзамен)
Экзамен
Количество часов всего, из них:
216 лекционные
26 практические
46 лабораторные
-
СРС самостоятельная работа студента
108 на экзамен/зачет
36

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

2. Результаты освоения дисциплины (модуля)
В результате освоения дисциплины студент должен:
Знать:

основные формы логического мышления и идеи математической логики;

основные классические факты, утверждения и методы указанной предметной области.
Уметь:

переводить на формальный язык простые суждения и умозаключения;

определять их логическую корректность и логическую состоятельность.
Владеть:

главными смысловыми аспектами в доказательствах;

проблемно-задачной формой представления математических знаний.
3. Краткое содержание дисциплины

Основные формы логического мышления

Исчисление высказываний

Исчисление предикатов


Поделитесь с Вашими друзьями:


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

войти | регистрация
    Главная страница


загрузить материал