Конструктивная логика

Предмет Логика

Разместил 🤓 MaryjUyen

👍 Проверено Автор24

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

Научные статьи на тему «Конструктивная логика»

Неклассические логики

Многозначная логика Многозначная логика интенсивно развивается в настоящее время....
Бочвара, трехзначная логика А. Гейтинга, трехзначная логика Г. Рейхенбаха, n-значная логика Э....
Интуиционистская и конструктивная логики В начале XX века возникла интуиционистская логика, опирающаяся...
Конструктивная логика признает идеи интуиционизма продуктивными....
Отличие состоит в том, что конструктивная логика считает законными не процессы, описываемые свободно

Статья от экспертов

Реверсивные конструктивные логики

The subject of the inquiry is a new class of constructive logics: reversive ones. They are induced by class of problems where all actions are to be reversible (i. e. each sequence of actions can be undone). Those actions do not lose and do not add information. Semantic of reversive logic is based on amalgam of realizability and modied Girard's idea. Worlds and actions in their models are elements of the same group. It is shown that reversive logic is formalizable and stated some basic properties of reversive logic.

Creative Commons

Научный журнал

Идеи Брауэра и интуиционистская логика Гейтинга

Доказательства в этой системе должны быть конструктивными, то есть предоставлять метод построения доказательства...
традиционной логике....
Например, интуиционистская логика может быть использована для рассуждений о конструктивной математике...
, которая представляет собой тип математики, сосредоточенный на конструктивных аспектах математических...
Интуиционистская логика также использовалась для изучения границ формальной логики, что имеет важные

Статья от экспертов

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

В статье предлагаются и оцениваются варианты оптимизации алгебраической модели конструктивной логики, предназначенной для построения многофакторной нелинейной математической модели, часто используемой в России в углубленном анализе в медицине и биологии. В основе оптимизации модели лежат процедуры нахождения дублирующих случаев (строк базы), соответствующих достижению цели, и исключение тех результирующих составляющих, которые дублируются случаями других результирующих составляющих. В основу оптимизации заложены процедуры просмотра результирующих составляющих сверху вниз или снизу вверх и сравниваем номеров строк, соответствующих достижению цели. Если все номера просматриваемой результирующей составляющей будут присутствовать в других просматри-ваемьгх результирующих составляющих, то ее удаляют как избыточную. На каждом шаге перемещения просмотр строк осуществляется во всех результирующих составляющих, кроме исключенных составляющих. В результате выявления и исключения избыточных по...

Creative Commons

Научный журнал

Еще термины по предмету «Логика»

Ab absurdo

(от лат.) - от нелепого; искодить от нелепого при доказательстве чего-либо.

Обоснованность

необходимость выводить высказывания из других.

Решетка

это упорядоченное множество М, взятое с двумя бинарными операциями: объединением и пересечением.

Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

Напиши термин
Выбери определение из предложенных или загрузи свое
Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек

Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot