Більш швидкий доступ, ніж браузер!
57 відносини: Кітаб аль-джебр ва-ль-мукабала, Карл Густав Гемпель, Квантова логіка, Коалгебра, Правило висновування, Правило підстановки, Пророча машина, Постулат, Пояснення, Передпорядок, Аргумент, Арифметика, Аксіома схеми виділення, Аксіома Архімеда, Аксіома паралельності Евкліда, Аксіоматика Колмогорова (геометрія), Актуалізм, Аналіз функцій дійсної змінної, Нумерація Геделя, Наукова теорія, Науковий закон, Наукове знання, Розділи математики, Стереометрія, Ситуаційне числення, Силогізм, Скептицизм, Содомора Андрій Олександрович, Трюїзм, Тавтологія (логіка), Теорія ігор, Теорія можливостей, Теорема, Формальна арифметика, Феноменологічна соціологія, Циклічний порядок, Ян Лукашевич, Математична лінгвістика, Математична економіка, Математика, Мафія (гра), Монотонне відношення переваги, Метод аналогів, Ментальні моделі, Засновок, Загальна теорія множин, Закон (значення), Віра (соціальна), Вільям Стефенсон, Гіпотетично-дедуктивний метод, ..., Гіпотеза, Давньогрецька математика, Доказ (логіка), Евклідова Оптика, Лінійна алгебра, Логіка першого порядку, Логіка Гоара. Розгорнути індекс (7 більше) »
Кітаб аль-джебр ва-ль-мукабала
Перша сторінка книги Кітаб аль-Джебр ва-ль-Мукабала (араб. الكتاب المختصر في حساب الجبر والمقابلة — «Коротка книга доповнення і протиставлення» — відома книга арабського вченого Мухаммеда ібн Муси аль-Хорезмі, від назви якої походить термін «алгебра».
Новинка!!: Аксіома і Кітаб аль-джебр ва-ль-мукабала · Побачити більше »
Карл Густав Гемпель
Карл Густав «Пітер» Гемпель (8 січня 1905 — 9 листопада 1997) — американський письменник і філософ німецького походження.
Новинка!!: Аксіома і Карл Густав Гемпель · Побачити більше »
Квантова логіка
Квантова логіка — набір правил логіки для роботи з системами, що потребують урахування квантових законів.
Новинка!!: Аксіома і Квантова логіка · Побачити більше »
Коалгебра
Коалгебра — математична структура, яка є двоїстою до асоціативної алгебри з одиницею.
Новинка!!: Аксіома і Коалгебра · Побачити більше »
Правило висновування
У логіці пра́вило висно́вування, або пра́вило перетво́рення (rule of inference, inference rule, transformation rule) — це, що складається з функції, яка отримує передумови, аналізує їхній і повертає висновок (або). Наприклад, правило висновування, що називається modus ponens, отримує дві передумови, одну у формі «Якщо p тоді q», а другу у формі «p», і повертає висновок «q».
Новинка!!: Аксіома і Правило висновування · Побачити більше »
Правило підстановки
Пра́вило підстано́вки у логіці — це правило перетворення, що може застосовуватися до лише часткового сегменту.
Новинка!!: Аксіома і Правило підстановки · Побачити більше »
Пророча машина
В теорії складності і теорії обчислюваності, пророча машина (oracle machine) — це абстрактний автомат використовний для вивчення проблем вибору.
Новинка!!: Аксіома і Пророча машина · Побачити більше »
Постулат
Постулат (від лат. postulatum - умова, позов) – твердження, припущення, котре при побудові наукової теорії приймають без доказів як вихідне, аксіома.
Новинка!!: Аксіома і Постулат · Побачити більше »
Пояснення
Пояснення є набором тверджень зазвичай побудованих для опису набору фактів, в яких уточнюються причини, контекст і наслідки цих фактів.
Новинка!!: Аксіома і Пояснення · Побачити більше »
Передпорядок
Передпорядок (відношення передпорядку) — бінарне відношення в теорії порядку, що є рефлексивним та транзитивним.
Новинка!!: Аксіома і Передпорядок · Побачити більше »
Аргумент
* У логіці — істинне судження, за допомогою якого в процесі логічного доведення встановлюється істинність тези.
Новинка!!: Аксіома і Аргумент · Побачити більше »
Арифметика
Леонтія Магницького, 1703 рік Арифме́тика (ἀριϑμητική — мистецтво лічби, вчення про числа, від αριθμός — число) — наука про числа, їхні властивості й операції над ними в ЕСУ.
Новинка!!: Аксіома і Арифметика · Побачити більше »
Аксіома схеми виділення
У теорії множин та області логіки, математики та інформатики, які її використовують, аксіома схеми виділення, аксіома схеми поділу, аксіома схеми підмножин або аксіома схеми обмеженого розуміння, являють собою схему з аксіоми Цермело-Френкеля.
Новинка!!: Аксіома і Аксіома схеми виділення · Побачити більше »
Аксіома Архімеда
Аксіома Архімеда, або принцип Архімеда, або властивість Архімеда — математичне положення, яке назване за ім'ям давньогрецького математика Архімеда.
Новинка!!: Аксіома і Аксіома Архімеда · Побачити більше »
Аксіома паралельності Евкліда
Перетин прямих (анімація) Аксіо́ма парале́льності Евклі́да, або п'я́тий постула́т — одна з аксіом, що лежать в основі класичної планіметрії.
Новинка!!: Аксіома і Аксіома паралельності Евкліда · Побачити більше »
Аксіоматика Колмогорова (геометрія)
Аксіоматика Колмогорова — аксіоматика евклідової геометрії (планіметрії), запропонована академіком Андрієм Колмогоровим.
Новинка!!: Аксіома і Аксіоматика Колмогорова (геометрія) · Побачити більше »
Актуалізм
Чарльз Лайєль (1797–1875) Актуалі́зм (actualis — діяльний, теперішній, сучасний) — один з методів вивчення історії Землі, реконструкція процесів минулого шляхом використання закономірностей, виявлених при вивченні сучасних геологічних процесів.
Новинка!!: Аксіома і Актуалізм · Побачити більше »
Аналіз функцій дійсної змінної
Аналіз функцій дійсної змінної — галузь математичного аналізу, що вивчає дійсні числа і функції дійсних змінних і дійсних значень.
Новинка!!: Аксіома і Аналіз функцій дійсної змінної · Побачити більше »
Нумерація Геделя
Нумерація Геделя — це функція g, що зіставляє з кожним об'єктом деякої формальної мови її номер.
Новинка!!: Аксіома і Нумерація Геделя · Побачити більше »
Наукова теорія
Науко́ва тео́рія — це система узагальненого знання, пояснення різнобічності подій, ситуацій, що відбуваються у природі чи суспільстві.
Новинка!!: Аксіома і Наукова теорія · Побачити більше »
Науковий закон
Науковий закон — вербальне та/або математично виражене твердження, що має докази (на відміну від аксіоми), яке описує співвідношення, зв'язки між різними науковими поняттями, встановлені шляхом індукції або дедукції, і визнане на даному етапі науковим співтовариством узгоджується з іншими науковими законами.
Новинка!!: Аксіома і Науковий закон · Побачити більше »
Наукове знання
Наукове знання — система знань про закони природи, суспільства, мислення.
Новинка!!: Аксіома і Наукове знання · Побачити більше »
Розділи математики
Математика охоплює всю зростаючу різноманітність і глибину предметів, які розвивалися за всю історію, а її складність потребує цілої системи аби організувати багато предметів в більш загальні області математики.
Новинка!!: Аксіома і Розділи математики · Побачити більше »
Стереометрія
Стереометрія —(від грец. «стереос» — тілесний, «метрео» — вимірюю) — це розділ геометрії, в якому вивчаються фігури в просторі, а також властивості просторових фігур.
Новинка!!: Аксіома і Стереометрія · Побачити більше »
Ситуаційне числення
Ситуаці́йне чи́слення (Situational Calculus) — логічний формалізм (логіка першого порядку) розроблений для представлення і обґрунтування динамічно змінних світів, областей і систем.
Новинка!!: Аксіома і Ситуаційне числення · Побачити більше »
Силогізм
Cилогі́зм (συλλογισμός — міркування) — міркування, що складається з трьох простих атрибутивних висловлювань: двох засновків і одного висновку.
Новинка!!: Аксіома і Силогізм · Побачити більше »
Скептицизм
У повсякденному використанні скептицизм (σκέπτομαι — помічати, зауважувати, розглядати) може означати таке.
Новинка!!: Аксіома і Скептицизм · Побачити більше »
Содомора Андрій Олександрович
Андрі́й Олекса́ндрович Содомо́ра (*1 грудня 1937, Вирів) — український перекладач, письменник, науковець.
Новинка!!: Аксіома і Содомора Андрій Олександрович · Побачити більше »
Трюїзм
Трюї́зм (truism) — загальновідома, заяложена (утерта) істина; банальне твердження; загальник, банальність.
Новинка!!: Аксіома і Трюїзм · Побачити більше »
Тавтологія (логіка)
Тавтологією в логіці називається тотожно істинне висловлювання, інваріантне щодо значень своїх компонент.
Новинка!!: Аксіома і Тавтологія (логіка) · Побачити більше »
Теорія ігор
нобелівський лауреат Тео́рія і́гор — теорія математичних моделей прийняття оптимальних рішень в умовах конфлікту.
Новинка!!: Аксіома і Теорія ігор · Побачити більше »
Теорія можливостей
Теорія можливостей - математична теорія, яка має справу з певними видами невизначеності і є альтернативою теорії ймовірностей.
Новинка!!: Аксіома і Теорія можливостей · Побачити більше »
Теорема
Теоре́ма (θεώρημα — «вигляд, уявлення, положення») — твердження у математиці, для якого в теорії, що розглядається, існує доказ (інакше кажучи, доведення).
Новинка!!: Аксіома і Теорема · Побачити більше »
Формальна арифметика
Леонтія Магницького, 1703 рік аксиомы натуральных чисел Ганс Себальд Бехам. Арифметика. XVI век Формальна арифметика — це формулювання арифметики у вигляді формальної (аксіоматичної) системи.
Новинка!!: Аксіома і Формальна арифметика · Побачити більше »
Феноменологічна соціологія
Феноменологі́чна соціоло́гія — напрямок, парадигма в соціології, яка виникла в 60-тих роках ХХ століття і розглядає суспільство як явище, створене й постійно відтворюване в духовній взаємодії індивідів.
Новинка!!: Аксіома і Феноменологічна соціологія · Побачити більше »
Циклічний порядок
міні У математиці, циклічний порядок являє собою спосіб організації множини об'єктів в колі.
Новинка!!: Аксіома і Циклічний порядок · Побачити більше »
Ян Лукашевич
Ян Лукашевич (Jan Łukasiewicz;, Львів —, Дублін, Ірландія) — польський логік і філософ, народився у Львові, який до поділу Польщі належав Польщі, а потім Галичині у складі Австро-Угорщини.
Новинка!!: Аксіома і Ян Лукашевич · Побачити більше »
Математична лінгвістика
Математи́чна лінгві́стика (також обчислю́вальна лінгві́стика або комп'ю́терна лінгві́стика) — напрямок штучного інтелекту, який ставить за мету використання математичних моделей для опису природніх мов.
Новинка!!: Аксіома і Математична лінгвістика · Побачити більше »
Математична економіка
Математи́чна еконо́міка досліджує економічні проблеми формально-математичними методами.
Новинка!!: Аксіома і Математична економіка · Побачити більше »
Математика
Рафаеля Матема́тика (μάθημα — наука, знання, вивчення) — наука, яка первісно виникла як один з напрямків пошуку істини (у грецькій філософії) у сфері просторових відношень (землеміряння — геометрії) і обчислень (арифметики), для практичних потреб людини рахувати, обчислювати, вимірювати, досліджувати форми та рух фізичних тіл.
Новинка!!: Аксіома і Математика · Побачити більше »
Мафія (гра)
Ма́фія — салонна командна психологічна покрокова рольова гра з детективним сюжетом, яка моделює боротьбу інформованих один про одного членів організованої меншості проти неорганізованої більшості.
Новинка!!: Аксіома і Мафія (гра) · Побачити більше »
Монотонне відношення переваги
Монотонність відношення переваги означає, що споживач віддає перевагу більшим споживчим наборам над меншими.
Новинка!!: Аксіома і Монотонне відношення переваги · Побачити більше »
Метод аналогів
Метод аналогів (analog method) — метод довготривалих прогнозів погоди, в основі яких лежать висновки про майбутні атмосферні процеси і про майбутнє погоди за аналогією з такими, що раніше відбулися.
Новинка!!: Аксіома і Метод аналогів · Побачити більше »
Ментальні моделі
Ментальні моделі - це глибоко укорінені в свідомості поняття, узагальнення чи навіть картини і образи, які діють на те, як ми сприймаємо світ і діємо. Це уявлення про навколишній світ, відносини між його різними частинами та інтуїтивне уявлення про власні дії та їх наслідки.
Новинка!!: Аксіома і Ментальні моделі · Побачити більше »
Засновок
За́сновок — термін, який використовується в логіці та математиці.
Новинка!!: Аксіома і Засновок · Побачити більше »
Загальна теорія множин
Загальна теорія множин (General set theory - GST) викладена в його статті "Iteration again" Boolos G. "Iteration again"// Philosophical Topics 17: 5-21(1989).
Новинка!!: Аксіома і Загальна теорія множин · Побачити більше »
Закон (значення)
* Закон (право) — нормативно-правовий акт, встановлене законодавчим органом загальнообов'язкове правило, яке має найвищу юридичну силу.
Новинка!!: Аксіома і Закон (значення) · Побачити більше »
Віра (соціальна)
Віра (соціальна) (Social Belief) — раціональна соціальна категорія, що безпосередньо стосується довірчого процесу, а тому виражається в кількісному плані через категорію довіри, як її максимальне значення.
Новинка!!: Аксіома і Віра (соціальна) · Побачити більше »
Вільям Стефенсон
Вільям Стефенсон (William Stephenson) (14 травня 1902 - 14 червня 1989) - англійський дослідник у сферах психології, людської поведінки, комунікацій та фізики.
Новинка!!: Аксіома і Вільям Стефенсон · Побачити більше »
Гіпотетично-дедуктивний метод
Гіпотетично-дедуктивний метод — метод наукового дослідження, який полягає у висуненні гіпотез про причини досліджуваних явищ і виведенні висновків з цих гіпотез шляхом дедукції.
Новинка!!: Аксіома і Гіпотетично-дедуктивний метод · Побачити більше »
Гіпотеза
Гіпо́теза (або засновок) — це припущення, яке перевіряють експериментально з можливих розв'язань проблеми.
Новинка!!: Аксіома і Гіпотеза · Побачити більше »
Давньогрецька математика
Муза геометрії (Лувр).
Новинка!!: Аксіома і Давньогрецька математика · Побачити більше »
Доказ (логіка)
Доказ, доведення — визначення істинності твердження шляхом встановлення його необхідного зв'язку з іншими твердженнями, прийнятими за істинні.
Новинка!!: Аксіома і Доказ (логіка) · Побачити більше »
Евклідова Оптика
Евклідова Оптика (Ὀπτικά), це робота з геометрії зору, написана грецьким математиком Евклідом приблизно в 300 р. до н.е..
Новинка!!: Аксіома і Евклідова Оптика · Побачити більше »
Лінійна алгебра
Ліні́йна а́лгебра — важлива частина алгебри, що вивчає вектори, векторні простори, лінійні відображення та системи лінійних рівнянь.
Новинка!!: Аксіома і Лінійна алгебра · Побачити більше »
Логіка першого порядку
Логіка першого порядку (числення предикатів) — це формальна система в математичній логіці, в якій допускаються висловлення відносно змінних, фіксованих функцій, і предикатів.
Новинка!!: Аксіома і Логіка першого порядку · Побачити більше »
Логіка Гоара
Алгоритмічна логіка Гоара (також відома як Флойда-Гоара) — це формальна система з множиною логічних правил для строгого доведення.
Новинка!!: Аксіома і Логіка Гоара · Побачити більше »
Перенаправлення тут:
Очевидність, Бездоказова істина.
