13.08.2022
Развитие высокоэффективных технологий энергосбережения на рынке вентиляционных систем привело к появлению технологичных устройств....


13.08.2022
Любой, кто так или иначе сталкивался с полномасштабной стройкой нередко слышал такие термины как вторичный или бетонный щебень,...


12.08.2022
Все больше людей мечтает приобрести квартиру в одной из новостроек. Это решение предусматривает множество преимуществ, так как в...


12.08.2022
Эквинет — это предприятие, имеющее в собственном распоряжении сервисный центр, штат высококвалифицированных специалистов, которые...


12.08.2022
Паркетная доска — это один из подвидов покрытия для пола. Такого типа напольное покрытие изготавливается методом склеивания...


12.08.2022
Работа на высоте связана всегда с повышенным риском для жизни работников. Поэтому крайне важно обеспечить безопасные условия...


Конструктивная семантика

04.12.2021

Конструктивная семантика — раздел конструктивной логики необходимый в связи с особым отличием от общих принципов заложенных в основе математики как классической, так и в конструктивной математике.

Основные отличия от классической семантики

Основные отличия от классической семантики заключаются в понимании дизъюнкции (A0|| A1), более сложных формулах и суждении о существовании xA(x) которые сформулировал Л.Брауэр

Основы описания задач, соответствующих более сложным формулам, были намечены А. Рейтингом и А. Н. Колмогоровым. После появления точного определения алгоритма С. Клини дал более

точную формулировку в виде понятия реализации замкнутой арифметической формулы или же рекурсии.

Задачи конструктивной семантики

Основным назначением теоретической конструктивной и классической семантики является анализ концепций алгоритмического языка и проверка логичности и согласованности его определения.

Однако для этих применений нынешний аппарат точных семантических определений ещё слаб. Семантический анализ путем формализации не всегда позволяет далее выловить прямые ошибки, допущенные создателями языка.

Конструктивная семантика анализирует алгоритмический язык так же как и простая семантика, но свыше указанными отличиями.



Имя:*
E-Mail:
Комментарий:
Информационный некоммерческий ресурс fccland.ru © 2022
При цитировании информации ссылка на сайт обязательна.
Копирование материалов сайта ЗАПРЕЩЕНО!