Автоматизация обучения
обучение, при котором часть рутинных функций, выполнявшихся ранее преподавателем, передается автоматическим устройствам, реализующим возможности информационных и коммуникационных технологий.
Доказательное программирование
Предмет
Информатика
👍 Проверено
Автор24
составление алгоритмов и программ одновременно с доказательством их правильности.
Научные статьи на тему «Доказательное программирование»
Структуры и алгоритмы компьютерной обработки данных
Доказать правильность семантического построения программы существенно труднее, поскольку сама доказательная...
Замечание 2
Комбинация семантической и синтаксической характеристики данных в основах программирования
Статья от экспертов
Программирование основ вычислительной алгебры на языке с зависимыми типами
В статье описываются главные черты разработанной автором на основе доказательного программирования библиотеки вычислительной алгебры. Обсуждается опыт доказательного программирования некоторых классических категорий вычислительной алгебры («группа», «кольцо» и так далее) на основе подхода конструктивизма, применения языка с зависимыми типами, построения машинно-проверяемых доказательств (dependent types, proof carrying code). Выявляются проблемы, связанные с этим подходом, и отмечаются дополнительные возможности, даваемые применением аппарата зависимых типов. В качестве инструмента используется функциональный язык Agda. Статья является продолжением вводной статьи автора в данном журнале за 2014 год
Creative Commons
Научный журнал
История развития математического моделирования процессов в финансовом секторе экономики
Впоследствии Эджуорт стал активным пропагандистом применения в экономической науке доказательных математических...
– модель межотраслевого баланса);
математическая оптимизация (предусматривает линейное и нелинейное программирование
Статья от экспертов
Об опыте построения обучения информатике в старшей школе
В статье представлены ключевые элементы адаптированной для профильной школы личностно-ориентированной модели обучения информатике, разработаннойв рамках доказательно-результативного подхода. Предложены модель структуры и возможное содержание внутришкольных норм образовательных достижений по информатике. Рассматриваются некоторые результаты экспериментальной работы за последниепять лет.
Creative Commons
Научный журнал
Еще термины по предмету «Информатика»
Автоматизированная информационно-поисковая система
[Automated Information Retrieval System] — комплекс программных, логических и лингвистических средств, предназначенных для поиска и отбора по заданным в цифровой форме признакам документов и данных, хранимых на машиночитаемых носителях обычно в виде баз данных или наборов файлов.
Актуализация данных
[(data) updating] поддержание данных в актуальном состоянии, т.е. приведение их в соответствие с состоянием отображаемых объектов предметной области. Актуализация включает в себя операции добавления, исключения, а также редактирования (в том числе правки или исправления) записей.
- Доказательная вероятность
- Доказательная медицина
- Нормы доказательности
- Программирование
- Дискретное программирование (целочисленное программирование)
- Структурное программирование, модульное программирование
- Оптимальное программирование
- Эволюционное программирование
- Безошибочное программирование
- Языки программирования
- Блочное программирование
- Программирование вещания
- Динамическое программирование
- Автоматизация программирования
- Линейное программирование
- Программирование на 1С
- Выпуклое программирование
- Квадратичное программирование
- Математическое программирование
- Нелинейное программирование
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек