| Мәҡәлә |
Урыҫ телендә |
Мета-викила |
Ҙурлығы
|
| [[]]
|
Дискретная математика
|
Discrete mathematics
|
|
| [[]]
|
Комбинаторика
|
Combinatorics
|
|
| [[]]
|
Теория графов
|
Graph theory
|
|
| [[]]
|
Проблема четырёх красок
|
Four color theorem
|
|
| [[]]
|
Граф (математика)
|
Graph (mathematics)
|
|
| [[]]
|
Математическая логика
|
Mathematical logic
|
|
| [[]]
|
Аксиома
|
Axiom
|
|
| [[]]
|
Теория вычислимости
|
Computability theory
|
|
| [[]]
|
Вычислимая функция
|
Computable function
|
|
| [[]]
|
Теорема Гёделя о неполноте
|
Gödel's incompleteness theorems
|
|
| [[]]
|
Математическая индукция
|
Mathematical induction
|
|
| Математик иҫбатлау
|
Математическое доказательство
|
Mathematical proof
|
521
|
| [[]]
|
Логика высказываний
|
Propositional calculus
|
|
| Күмәклектәр теорияһы
|
Теория множеств
|
Set theory
|
562
|
| [[]]
|
Аксиома выбора
|
Axiom of choice
|
|
| [[]]
|
Теорема Кантора
|
Cantor's theorem
|
|
| [[]]
|
Пустое множество
|
Empty set
|
|
| [[]]
|
Отношение эквивалентности
|
Equivalence relation
|
|
| [[]]
|
Наивная теория множеств
|
Naive set theory
|
|
| [[]]
|
Парадокс Рассела
|
Russell's paradox
|
|
| [[]]
|
Множество
|
Set (mathematics)
|
|
