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

АксіомаВідношенняЕлементКласУмовивідЛогічний символМножинаПравильно побудована формула[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

Фонтен-ла-Гаярд Зміст Демографія | Економіка | Посилання |...

Image
Муніципалітети департаменту Йонна фр.муніципалітетФранціїБургундія-Франш-КонтеЙоннаПарижаДіжонаОсера Фонтен-ла-Гаярд Fontaine-la-Gaillarde Країна  Франція Регіон Бургундія-Франш-Конте  Департамент Йонна  Округ Сан Кантон Сан-Норд-Ест Код INSEE 89172 Поштові індекси 89100 Координати 48°13′13″ пн. ш. 3°22′51″ сх. д. H G O Висота 111 - 234 м.н.р.м. Площа 10,61 км² Населення 502 (2011-01-01) Густота 47,31 ос./км² Розміщення Влада Мер Мандат Michel Papinaud 2014-2020 Фонте́н-ла-Гая́рд , Фонтен-ла-Ґаярд (фр. Fontaine-la-Gaillarde ) — муніципалітет у Франції, у регіоні Бургундія-Франш-Конте, департамент Йонна. Населення — 502 осіб (2011) [1] . Муніципалітет розташований на відстані [2] близько 105 км на південний схід від Парижа, 160 км на північний захід від Діжона, 50 км на північ від Осера. Зміст 1 Демографія 2 Економіка 3 Посилання 4 Див. т...
Read more

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

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

Маріан Котлеба Зміст Життєпис | Політичні погляди |...

Image
Народились 7 квітняНародились 1977Уродженці Банської БистриціВипускники Університету Матея БелаСловацькі політикиРевізіоністи ГолокостуРомофобиУльтраправіШовіністиПопулізмКритики Європейського союзуАнтиамериканізм словац.7 квітня1977Банська БистрицяЧССРультраправийсловацькийполітикЙозефу ТісоПершій Словацькій республіціВолодимиру ПутінуциганНАТОСШАЄвросоюзусловацьке національне повстанняантисемітськоїпопулістської«Котлеба — Народної партії Наша Словаччина»Банськобистрицького краю7 квітня1977Банська БистрицяЧССРуніверситету Матея Бела20062000200921 лютого2010єврословацьку кронугромадського партнерстваЄСНАТОромської меншини2012напіввоєнізованих структурМіністерство внутрішніх справчервні2016Верховний судБанськобистрицькому краї2016однопалатний словацький законодавчий орган«Котлеба — Народна партія Наша Словаччина»Банськобистрицького краю«Глінкова гвардія»Другої світової війни«Революцію гідності» Маріан Котлеба словац. Marian Kotleba Народився 7 квітня 1977 ( 1977-04-...
Read more