Съдържание
Поле (алгебра)
В алгебрата поле (F, +, ·) се нарича множество F, в което са дефинирани две бинарни операции (наричани обикновено събиране и умножение и обозначавани с „+“ и „·“), ако отговаря на следните условия.
Виж Теория на моделите и Поле (алгебра)
Граф (математика)
203x203px Графът се разглежда като съвкупност от върхове (възли) и дъги (ребра).
Виж Теория на моделите и Граф (математика)
Вижте също
Математическа логика
- Аксиоми на Пеано
- Алгоритъм
- Изброен тип
- Изчислителна теория
- Индикаторна функция
- Истина
- Математическа логика
- Математическо доказателство
- Основи на математиката
- Променлива величина
- Релация
- Съждение
- Таблица на математически символи
- Тавтология (логика)
- Теорема на Гьодел за непълнота
- Теория на множествата
- Теория на моделите
Математически доказателства
- Q.E.D.
- Закон за големите числа
- Математическо доказателство
- Теорема
- Теория на моделите