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