< Википедия: Запрошенные статьи | Математика
Добавьте свой запрос в наиболее подходящее место ниже. |
Перед добавлением заявки, пожалуйста:
Кроме того, при добавлении запроса включите как можно больше информации (например, веб-страницы, статьи или другие справочные материалы), чтобы редакторы могли найти и отличить ваш запрос от уже созданной статьи. |
Теория моделей, теория доказательств и теория рекурсии
- Поведенческая семантика - аксиоматическая семантика языков параллельного программирования (см. Lamport 1985)
- Последовательность Herbrand - может быть достаточно, чтобы объяснить этот термин в статье о последовательности .
- Однородная модель - Теория моделей
- Метод индикаторов - теоретико-модельный метод, используемый для доказательства теоремы Пэрис – Харрингтона без диагонализации.
- Подтверждение личности - некоторые ссылки:
- Straßburger, Lutz (20 октября 2006 г.), "Proof Nets and the Identity of Proofs" , Technical Report 6013, INRIA
- Кузнец, Роман (2007), "Доказательство идентичности для классической логики: обобщение на нормальность", LFCS (PDF) , стр. 332–348
- МО резьба
- Теория субрекурсии - изучение «уровней рекурсии», таких как примитивная рекурсия , двойная рекурсия и μ-рекурсивные функции (отмечены, например, Роузом, HE, «Субрекурсия: функции и иерархии», Oxford University Press, Нью-Йорк, США, 1984 год. ISBN 0-19-853189-3 ). Возможно, это предвестник теории сложности вычислений .
- Предикативная арифметика
- Гипергипериммунный набор
- Гипергиперпростой набор
- Регрессивный набор
- Съемный набор
- Модель Фефермана-Леви
Теория множеств
- C-измеримый набор
- Комплексный набор
- Канонический представитель
- Теория расширенных множеств (Д.Л. Чайлдс и др.)
- Набор Hintikka [1]
- Парижская модель
- Квази-стратегия - (В настоящее время перенаправление на пустой абзац)
- Анализ Скотта (также должно переадресовывает от Скотта предложений и Скотт ранга )
- Развернутая Банаха-Мазура игра - игра Банаха-Мазура
- Слабо однородное множество Суслина
- Алгоритм Яннакакиса
связи
- Экономическая логика / Экономическая логика / Экономическая логика / Экономическая причина / экономическая причина / экономическая причина Парето, Вильфредо, (1971 [1906]), Руководство по политической экономии, Нью-Йорк: AM Kelley [1] Как рушатся рынки: логика экономических бедствий здесь , здесь , здесь , здесь , здесь , здесь , здесь , здесь , здесь , здесь , здесь , здесь , здесь
- Бихотомическое отношение
- Дихотометрическое отношение
- Трихотомическое отношение
- Контактные отношения
- Регулярное отношение
- Нормализующее отношение
- Последовательное отношение
- Определенное отношение
- Слабо плотное отношение
- Детерминантное отношение
- Завершающее отношение - (Перенаправить атм)
- Конвергентное отношение
- Ортогональное отношение
- Корневое отношение
- Транзитивно связное отношение
- Детерминированное отношение
- Циклическое отношение
- Слабо связное отношение
- Нечеткое отношение
Другой
- Запросы, перечисленные в этом разделе, могут относиться к другому месту. Пожалуйста, помогите, переместив их в подходящее место.
- Парадокс Бернардете
- Вычислительная глагольная логика
- Первопричинение
- Номинальная логика - возможно, связана с номинальными условиями (информатика) и номинальными методами , см. Также [2]
- Номинальные наборы
- Эквациональная логика с сортировкой по порядку
- Пропозициональная линейная темпоральная логика
- ratio et res ipsa
- Тривиальная правда есть статья, пустая правда , и тривиальность, но не статья тривиальная правда, думал о том, чтобы связать ее с тавтологией, но потом подумал, что не все тавтологии являются тривиальными (очевидными) истинами, возможно, P -> P - единственная тавтология, которая действительно это банальная правда.
Рекомендации
- ^ https://pl.wikipedia.org/wiki/Zbi%C3%B3r_Hintikki