Справочник от Автор24
Нужна помощь?
Найдем эксперта за 5 минут
Подобрать эксперта
+2
Забирай в ТГ промокод на 1000 рублей
А еще там много крутого контента!
Подписаться

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

Предмет Логика
👍 Проверено Автор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.

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

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

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

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

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

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

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

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

Понятие «Учетверение терминов»

логическая ошибка в простом категорическом силлогизме, обусловленная нарушением правила, гласящего, что в силлогизме должно быть только три термина.

🌟 Рекомендуем тебе

Абсолютная истина

(лат. Аbsolutus - безусловный) - такое знание, которое окончательно, полностью, безусловно отображает данный предмет, явление, процесс и потому при дальнейшем развитии науки и практики оно не ожет быть опровергнуто.

🌟 Рекомендуем тебе

Анодиктическое суждение

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

🌟 Рекомендуем тебе
Смотреть больше терминов

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

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

Поможем справиться с любыми заданиями. Квалифицированные и проверенные эксперты

Получить помощь
Забирай в ТГ промокод
на 1000 ₽

А еще в нашем канале много крутого контента

Перейти в Telegram bot