формализация
71КОНСТРУКТИВНЫЙ ОБЪЕКТ — одно из осн. понятий математики, совр. формальной логики и теории алгоритмов. Конструктивными наз. объекты, построение или рассмотрение к рых возможно в рамках абстракции потенциальной осуществимости при противопоставлении ее абстракции… …
72ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… …
73ДИФФЕРЕНЦИАЛЬНЫЕ ИГРЫ — раздел математич. теории управления (см. Автоматического управления теория), в к ром изучается управление в конфликтных ситуациях. Теория Д. и. примыкает также к общей игр теории. Первые работы по теории Д. и. появились в сер. 50 х гг. 20 в.… …
74Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил …
75Китайская комната — Китайская комната  мысленный эксперимент, описанный Джоном Сёрлем, в котором критикуется возможность моделирования человеческого понимания, в частности естественного языка, путем создания «искусственного интеллекта». По сути является… …
76Франциск Ассизский — В Википедии есть статьи о других людях с именем Франциск. Проверить нейтральность. На странице обсуждения должны быть подробности …
77Теория возможностей — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Теория возможностей  математическая теория, имеющая дело с особым типом неопределенности, альтернативна теории… …
78Метод сопряжённых градиентов — Метод сопряженных градиентов метод нахождения локального минимума функции на основе информации о её значениях и её градиенте. В случае квадратичной функции в минимум находится за шагов. Содержание 1 Основные понятия …
79Метод золотого сечения — метод поиска значений действительно значной функции на заданном отрезке. В основе метода лежит принцип деления в пропорциях золотого сечения. Наиболее широко известен как метод поиска экстремума в решении задач оптимизации Содержание 1 Описание… …
80Задача византийских генералов — Задача византийских генералов  в вычислительной технике мысленный эксперимент, призванный проиллюстрировать проблему синхронизации состояния систем в случае, когда коммуникации считаются надёжными, а процессоры  нет. Содержание 1… …
