Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины,





Скачать 291.1 Kb.
НазваниеПрограмма дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины,
страница2/5
Дата публикации03.12.2014
Размер291.1 Kb.
ТипПрограмма дисциплины
100-bal.ru > Информатика > Программа дисциплины
1   2   3   4   5

4Место дисциплины в структуре образовательной программы




Настоящая дисциплина относится к математическому и естественнонаучному циклу и блоку дисциплин, обеспечивающих математическую подготовку.


Изучение данной дисциплины базируется на следующих дисциплинах:

  • алгебра,

  • математический анализ

Для освоения учебной дисциплины, студенты должны владеть следующими знаниями и компетенциями:

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

и линейной алгебры.

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

  • языки программирования, теория алгоритмов, конструирование вычислительных машин


5Тематический план учебной дисциплины






Название раздела

Всего часов

Аудиторные часы

Самостоя­тельная работа

Лекции

Семинары

Практические занятия

1

Элементы теории множеств: счетные множества, сравнения мощностей множеств, теоремы Кантора—Бернштейна и Кантора

12

6

6







2

Машина с неограниченными регистрами (МНР), МНР-программы, МНР-вычислимость, тезис Черча

12

6

6







3

Универсальные функции, тотальные МНР-вычислимые функции. Разрешимые и перечислимые множества.

8

4

4








4



Алгебраические и диофантовы множества. Теорема Матиясевича и 10-я проблема Гильберта



4


2


2








5



Булевы функции, их носитель. ДНФ и СДНФ.

Алгоритм Блейка. Полиномы Жегалкина. Тупиковая ДНФ.


12



6



6









6



Функциональное замыкание совокупности булевых функций. Полные совокупности. Классы S, L, M, T0, T1, их функциональная замкнутость и полнота. Теорема Поста о полноте.


8



4




4









7


Контактные схемы и булевы функции, ими реализуемые. Проблема минимизации контактных схем. Функция Шеннона. Теоремы Шеннона и Лупанова.



4



2



2










8




Формальные исчисления. Исчисление высказываний (ИВ). Теорема об отсутствии в ИВ лишних правил вывода. Критерий выводимости формулы в ИВ. Алгоритм эффективного нахождения вывода по данной выводимой формуле в ИВ.



12


6



6








9


Итого



72


36



36









1   2   3   4   5

Похожие:

Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления 080500. 62 "Бизнес-информатика"...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления подготовки бакалавра...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления 035800. 62 «Фундаментальная...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Т. Г. Морозова, доктор географических наук, профессор взфэи, кафедра «Региональная экономика»
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Учебно-методическое пособие по курсу «Философия права». Таганрог: Изд-во трту, 2005. 23 с
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Программа предназначена для студентов направления 032100. 62 «Востоковедение, африканистика» подготовки бакалавра, изучающих Материальную...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Программа предназначена для студентов направления 032100. 62 «Востоковедение, африканистика» подготовки бакалавра, изучающих Материальную...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления 032100. 62 «Востоковедение,...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления 032100. 62 «Востоковедение,...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления 032100. 62 «Востоковедение,...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления подготовки/ специальности,...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма дисциплины [Введите название дисциплины] для направления/...
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления подготовки для...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста [Оставьте этот титульный лист для дисциплины, iconПрограмма по формированию навыков безопасного поведения на дорогах...
Программа дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления...


Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
100-bal.ru
Поиск