РИД
№ 622102800038-0Автоматизированная система динамического формирования заданий по теме «Основы алгебры логики»
28.10.2022
Программа предназначена для обучения студентов дисциплине «Информатика» и может применяться в образовательном процессе высших учебных заведений. Программа может функционировать на локальном персональном компьютере. Автоматизированная система динамического формирования заданий по теме «Основы алгебры логики» обеспечивает выполнение следующих функций:
– динамическое формирование заданий по указанной тематике;
– автоматизированную проверку задания по построению таблиц истинности логических функций.
Тип ЭВМ: ПК на базе процессора Intel Core i3 – 3,06 ГГц и выше.
Язык: Visual Basic for Applications.
ОС: Windows 7 и выше.
ГРНТИ
20.01.45 Преподавание информатики
Ключевые слова
ЛОГИЧЕСКАЯ ФУНКЦИЯ
ТАБЛИЦА ИСТИННОСТИ
АЛГЕБРА ЛОГИКИ
АВТОМАТИЗИРОВАННАЯ СИСТЕМА
Детали
Тип РИД
Программа для ЭВМ
Сферы применения
Образовательный процесс высших учебных заведений
Ожидается
Заказчик и Исполнитель совместно
Исполнители
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО
ОБРАЗОВАНИЯ "ОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ПУТЕЙ СООБЩЕНИЯ"
Заказчик
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО
ОБРАЗОВАНИЯ "ОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ПУТЕЙ СООБЩЕНИЯ"
Похожие документы
Электронное учебное пособие "Математическая логика и теория алгоритмов"
0.912
РИД
Программный комплекс для автоматической проверки практических заданий курса "Математическая логика и теория алгоритмов"
0.897
РИД
Автоматизированная система динамического формирования и контроля выполнения заданий по теме "Измерение информации"
0.885
РИД
Обучающая программа «Алгоритмизация и программирование»
0.883
РИД
Тестовые задания для промежуточной аттестации студентов по дисциплине «Информатика» раздел «Логические основы построения цифровых автоматов»
0.882
РИД
«Задания для компьютерного тестирования по математической логике и теории алгоритмов. Часть 1»
0.877
РИД
Компилятор формальной логики
0.876
РИД
«Опорные схемы по высшей математике: алгебра, геометрия и элементы дискретной математики»
0.872
РИД
Обучающая программа повышения квалификации НАУЧНОЕ НАПРАВЛЕНИЕ «ЛОГИКО-СМЫСЛОВОЕ МОДЕЛИРОВАНИЕ ЗНАНИЙ»
0.872
РИД
«Задания для компьютерного тестирования по математической логике и теории алгоритмов. Часть 2»
0.868
РИД