Аксіоматика Див. також | Примітки | Навігаційне...

АксіомаВідношенняЕлементКласУмовивідЛогічний символМножинаПравильно побудована формула[en]Природна дедукція[en]Правило висновуванняПравило побудови[en]Синтаксис[en]ТеоремаТеорія[en]Теорія типівАксіоматичнаДедуктивнаКласичнаФормальнамовадоведеннясемантикаСудженняВисновокАргументЧинністьСилогізмЛогічний квадратДіаграма ВеннаПершого порядкуКванториПредикатДругого порядкуЧислення одномісних предикатів[en]Формальне доведенняДедуктивна системаФормальна системаТеоремаУмовивідПравило висновуванняСинтаксис[en]


Статті, які варто перекласти з англійськоїАксіоматикаКонцептуальні системи


англ.аксіомелементарної геометрії20 аксіомчислового поля9 аксіомматематицігрупиметричноговекторного




Аксіома́тика (англ. axiomatic system) — система аксіом деякої науки. Наприклад аксіоматика елементарної геометрії містить близько 20 аксіом, аксіоматика числового поля — 9 аксіом. В математиці важливу роль відіграє аксіоматика групи, аксіоматика метричного і векторного просторів. Багато інших сучасних наук також розвиваються на аксіоматичній основі, тобто на базі відповідної системи аксіом (аксіоматики).[1]



Див. також |


  • Аксіоматичний метод


Примітки |





  1. ↑ Савин, А. П., ред. (1989). Аксиоматика и аксиоматический метод [Аксіоматика і аксіоматичний метод]. Энциклопедический словарь юного математика [Енциклопедичний словник юного математика]. Энциклопедический словарь (рос.) (вид. 2). Москва: Педагогика. с. 10. ISBN 5715502187. OCLC 441779237. 









Сигма
Це незавершена стаття з математики.
Ви можете допомогти проекту, виправивши або дописавши її.





Наука
Це незавершена стаття з науки.
Ви можете допомогти проекту, виправивши або дописавши її.

















































  • п

  • о

  • р



Математична логіка

Загальне












  • Аксіома

  • Відношення

  • Елемент

  • Клас

  • Умовивід

  • Логічний символ

  • Множина


  • Правильно побудована формула[en]


  • Природна дедукція[en]

  • Правило висновування


  • Правило побудови[en]


  • Синтаксис[en]

  • Теорема


  • Теорія[en]

  • Теорія типів



Системи


  • Аксіоматична

  • Дедуктивна

  • Класична


  • Формальна

    • мова

    • доведення

    • семантика



Традиційна


  • Судження

  • Висновок

  • Аргумент

  • Чинність

  • Силогізм

  • Логічний квадрат

  • Діаграма Венна

Числення висловлень
Булева логіка


  • Булева функція

  • Предикат

  • Логічний сполучник

  • Таблиці істинності
Предикатна логіка


  • Першого порядку

  • Квантори

  • Предикат

  • Другого порядку


  • Числення одномісних предикатів[en]
Теорія множин












Наївна












  • Відношення

  • Впорядкована пара


  • Об'ємність[en]

  • Морфізм

  • Область визначення

  • Область значень

  • Перелік

  • Функція



Типи множин


  • Булеан

  • Зліченна

  • Незліченна

  • Нескінченна

  • Підмножина

  • Порожня


  • Розв'язна[en]

  • Скінченна



Формальна











  • Аксіома вибору


Теорії



  • Цермело
    • Загальна



  • Цермело — Френкеля


    • фон Неймана — Бернайса — Геделя[en]

      • Морзе — Келлі[en]



    • Кріпке — Платека[en]


    • Тарського — Гротендіка[en]






Теорія моделей



  • Модель[en]

  • Інтерпретація


  • Нестандартна модель[en]


  • Теорія скінченних моделей[en]

  • Значення істинності

  • Чинність
Теорія доведення


  • Формальне доведення

  • Дедуктивна система

  • Формальна система

  • Теорема

  • Умовивід

  • Правило висновування


  • Синтаксис[en]
Теорія обчислюваності


  • Рекурсія


  • Розв'язна множина[en]


  • Рекурсивно зліченна множина[en]

  • Проблема вибору

  • Теза Черча

  • Обчислювана функція

  • Рекурсивні функції

Основи математики



-

Popular posts from this blog

As a Security Precaution, the user account has been locked The Next CEO of Stack OverflowMS...

Image
Could a dragon use its wings to swim? Is it a bad idea to plug the other end of ESD strap to wall ground? How can I prove that a state of equilibrium is unstable? Compilation of a 2d array and a 1d array pgfplots: How to draw a tangent graph below two others? How dangerous is XSS Gauss' Posthumous Publications? How to implement Comparable so it is consistent with identity-equality What does this strange code stamp on my passport mean? "Eavesdropping" vs "Listen in on" Which acid/base does a strong base/acid react when added to a buffer solution?
Read more

Список ссавців Італії Природоохоронні статуси | Список |...

Image
Списки ссавцівФауна ІталіїСписки:ІталіяСсавці Італії ІталіїМСОПХижіCetartiodactylaРукокриліКомахоїдніЗайцеподібніГризуниМСОП ссавці Італії ? Італія Біорегіон Біогеографічний екорегіон Голарктика Екозона Палеарктика Біом субтропічний ліс, альпійські луки, прісні води, континентальний шельф, континентальний схил Місцевість Континент Європа Країна Італія Територія Середземне море Фауна більшого обсягу За географією фауна Європи За систематикою ссавці, фауна Італії За екологією суходільна фауна, морська фауна За біогеографією теріофауна Європи Геологічний вік сучасність Особливості Видовий обсяг 121 Чужорідні види Genetta genetta, Ondatra zibethicus, Oryctolagus cuniculus, Rattus norvegicus, Rattus rattus, Sciurus carolinensis, Tamias sibiricus Список ссавців Італії містить перелік видів, записаних на території Італії (південна Європа) згідно з
Read more

Українські прізвища Зміст Історичні відомості |...

Image
АдигськіАбхазькіАзербайджанські [en] Албанські [en] АлтайськіАмериканські [en] Афроамериканські [en] АнглійськіАрабськіБашкирськіБілоруські [en] прізвищаБолгарські [en] БоснійськіБурятськіВельські [en] ВепськіВ'єтнамські [en] Вірменські [en] Гавайські [en] ГолландськіГрецькіГрузинськіДанськіЕстонськіЄврейські [en] Юдейські [en] Ефіопія/Еритрея [en] Зімбабвійські [en] Індіанські [en] ІндійськіІндонезійські [en] Ірландські [en] ІсландськіІспанські і португальськіІталійськіКалмицькі [en] КарельськіКазахськіКамбоджійські [en] Канадські [en] КіргизькіКитайські [en] КоміКорейськіЛатиськіЛитовські [en] Лаоські [en] МарійськіМакедонські [en] Малазійські [en] Монгольські [en] МордовськіНімецькіНорвезькіОсетинськіПерські [en] ПольськіПрибалтійськіПортугальськіРосійськіпрізвищаРумунськіСербськіСкандинавськіСлов'янськіСахаСловацькі [en] Сомалійські [en] ТайванськіТайські [en] Татарські [en] ТибетськіТувинськіТурецькі [en] УгорськіУдмуртськіУкраїнськіпрізвищаФіджійські [en] ФінськіФранцузьк
Read more