Программа реализации «компьютерного» уточнения формулировки классической задачи теории чисел
вычисление диалог сумма произведение
Программа предназначена для сопровождения лекции по теме о месте компьютерных технологий в математических доказательствах и обобщениях математических теорем на материале задачи, приведенной под номером 15 на с. 32 книги "Ж. Арсак. Программирование игр и головоломок. - М.: Наука. Гл. ред. физ.-мат. лит., 1990. - 224 с.", где математическое утверждение сформулировано для двух натуральных чисел из интервала [2..n] для случая n=99. 
Цель программы – показать, что утверждение верно для всех n из интервала [62..500], при этом установлено, что нижняя граница интервала точна.
Программу рекомендуется использовать на занятиях по дисциплинам «Математическая логика» и «Дискретная математика».
Абдулкарим
Магомедов
Магомедович
Заведующий кафедрой
Доктор физико-математических наук
Профессор
AHE-13894-2022
7005785836
5008
РОССИЯ
Муртазали
Рабаданов
Хулатаевич
Ректор
РОССИЯ
20.01.45
Преподавание информатики
27.45.15
Общая теория комбинаторного анализа
01.02.EX
COMPUTER SCIENCE, THEORY & METHODS
Абдулкарим
Магомедов
Магомедович
Разработка программы
РОССИЯ
ДГУ
Федеральное государственное бюджетное образовательное учреждение высшего  образования "Дагестанский государственный университет"
1020502631621
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения
ДГУ
Федеральное государственное бюджетное образовательное учреждение высшего  образования "Дагестанский государственный университет"
1020502631621
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения