РОССИЙСКАЯ ФЕДЕРАЦИЯ
ФЕДЕРАЛЬНАЯ СЛУЖБА ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ
ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2016616302

Дата регистрации: 08.06.2016

Номер и дата поступления заявки: 2016613554 12.04.2016

Дата публикации: 20.07.2016
	
Авторы:
Резеньков Денис Николаевич,
Федоренко Ирина Владимировна,
Лысак Татьяна Руслановна,
Шапошников Алексей Вячеславович

Правообладатель:
федеральное государственное бюджетное образовательное учреждение высшего образования «Ставропольский государственный аграрный университет»

Название программы для ЭВМ:
Электронное пособие по дисциплине «Математическая логика и теория алгоритмов»

Реферат:
Программа предназначена для рассмотрения элементов теории множеств, аксиоматического построения исчисления высказываний, исчисления предикатов, теорий первого. Программа предназначена для студентов математических и IT-специальностей и преподавателей, ведущих курс математической логики и теориоведений и алгоритмов. Программа обеспечивает выполнение следующих функций: формирование научного мировоззрения, понимания широты и универсальности методов математической логики, умения применять эти методы в решении прикладных задач; ознакомление с основами теории алгоритмов и их приложениями к задачам математической кибернетики; овладение современным математическим аппаратом для дальнейшего использования при решении теоретических и прикладных задач в области защиты информации.

Тип реализующей ЭВМ: IBM PC-совмест. ПК

Язык программирования: HTML

Вид и версия операционной системы: Windows ХР/Vista/7/8/8.1/10

Объем программы для ЭВМ: 66,3 Мб