|
|
|
|
Информационная карта ЭР
| Регистрационный номер: | 799 |
|---|
| Дата регистрации: | 15.03.2013 |
|---|
| Полное название: | Электронный курс лекций "Элементы математической логики" |
|---|
| Краткое название: | Элементы математической логики |
|---|
| Версия: | 1 |
|---|
| Тип ЭР: | Электронный курс лекций |
|---|
| Размер дистрибутива (МБ): | 1.88 |
|---|
| Дата окончания разработки: | 06.03.2013 |
|---|
| Кол-во страниц в РТО: | 6 |
|---|
| Индекс УДК: | 510.6 (075.32) |
|---|
| Рецензент: | Хажумарова Э.А., заместитель директора по учебной работе КЭиБ ОГУ |
|---|
| Мотивированное заключение: | Нет данных |
|---|
| Аннотация: | Электронный курс лекций (ЭКЛ) "Элементы математической логики" соответствует структуре и содержанию ФГОС СПО по специальности 230115 "Программирование в компьютерных системах" по дисциплине "Элементы математической логики". ЭКЛ содержит 5 теоретических разделов: история математической логики, алгебра высказываний, множества, логика предикатов, элементы теории алгоритмов; вопросы для самоконтроля к каждой теме. Общее количество слайдов ? 187. Достоинствами курса являются комплексность и последовательность в изложении материала курса. ЭКЛ создан с учетом дизайн - эргономических требований, предъявляемых к разработке программных средств учебного назначения. Четкая структуризация учебного материала, его наглядное и компактное представление, удобство навигации способствуют организации индивидуальной образовательной траектории обучающегося, наиболее эффективному восприятию и усвоению его содержания. |
|---|
| Целевая аудитория (УГСН): | Информатика и вычислительная техника (230000) |
|---|
| Уровень образования: | Среднее профессиональное |
|---|
| Ступени образования: | |
|---|
| Правообладатель: | Оренбургский государственный университет |
|---|
| Автор(ы): | Атяскина Татьяна Викторовна |
|---|
| Дисциплины: | Элементы математической логики |
|---|
| Грифование: | |
|---|
| Внедрено: | Колледж электроники и бизнеса |
|---|
| Мультимедиа: | |
|---|
| Зарегистрировано: | Орган регистрации: ЦИТИС-ВНТИЦ, дата регистрации: 27.05.2013, № государственной регистрации: 50201350484 |
|---|
| Область применения: | Физико-математические науки |
|---|
| Ключевые слова: | электронный курс лекций, математическая логика, высказывания, множества, предикаты, кванторы, алгоритмы |
|---|
| Ссылка для скачивания: | Дистрибутив электронного ресурса |
|---|
форма поиска
|
|
|
