- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
Рубрики
--> МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ
----> Математика
------> фундаментальні та загальні питання математики
--> МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ
----> Математика
------> фундаментальні та загальні питання математики
Рубрика
- Название:
- фундаментальні та загальні питання математики
- Название:
- немуперечливість та незалежність у теорії множин
- Название:
- теоретико-множинні конструкції
- Название:
- гіпотиза континуума, аксіома Мартіна та пов'язані принципи
- Название:
- аксіома вибору, аксіома детермінованості та пов'язані принципи
- Название:
- теоретико-множинні аксіоми та принципи
- Название:
- теорія множин NF Куайна та пов'язані системи
- Название:
- булеві функції
- Название:
- теорія типів та пов'язані системи
- Название:
- теорія множин Цермело-Френкеля та пов'язані системи
- Название:
- базисні аксіоматичні системи теорії множин
- Название:
- аксіоматична теорія множин
- Название:
- алгебра множин, функції співвідношення
- Название:
- наївна теорія множин
- Название:
- теорія множин
- Название:
- логічний аналіз природних мов
- Название:
- застосування математичної логіки
- Название:
- логічні та семантичні антиномії
- Название:
- логічна семантика, теорія істини
- Название:
- конструктивні математичні теорії
- Название:
- мови конструктивної математики
- Название:
- конструктивна математика, конструктивний підхід
- Название:
- інтуїціоністська математика
- Название:
- формалізм (математичні аспекти)
- Название:
- теоретико-категорійні основи математики
- Название:
- філософські проблеми математичної логіки
- Название:
- основи математики
- Название:
- загальні питання математичної логіки, основи математики
- Название:
- алгоритми, обчислювальні функції
- Название:
- математична логіка
- Название:
- класична логіка
- Название:
- класична пропозиційна логіка, числення висловлень
- Название:
- посібники для викладання, навчання, практичної підготовки - фундаментальні та загальні питання математики: основи математики, алгоритми, обчислювальні функції, математична логіка, математичні структури, теорія моделей
- Название:
- підручники, навчальні посібники для університетів, ВНЗ - фундаментальні та загальні питання математики: основи математики, теорія множин, алгоритми, обчислювальні функції, математична логіка, математичні структури, теорія моделей
- Название:
- змушення
- Название:
- арифметична визначуваність
- Название:
- інші задачи формальної арифметики
- Название:
- некласичні арифметичні системи
- Название:
- інтуїціоністська арифметика
- Название:
- арифметика пізнання
- Название:
- булеві та пов'язані з ними моделі
- Название:
- внутрішні моделі теорії множин
- Название:
- комбінаторна теорія множин
- Название:
- числення розбиттів
- Название:
- фільтри, ультрафільтри, реf-теорія
- Название:
- застосування теорії множин
- Название:
- формалізація традиційних математичних теорій
- Название:
- формальна арифметика
- Название:
- елементи та підсистеми арифметики
- Название:
- алгоритмічна теорія інформації, складність за Колмогоровим
- Название:
- алгоритмічні проблеми, обчислювальна теорія множин
- Название:
- ієрархії алгоритмичних задач, ієрархія класів множин
- Название:
- алгоритмічні звідність та ступені
- Название:
- обчислення теорія
- Название:
- узагальнена теорія рекурсії
- Название:
- неперервні та рекурсивні функціонали
- Название:
- індуктивна визначуваність
- Название:
- обчислюваність абстрактних структур: ординали, допустимі множини
- Название:
- арифметика другого та вищих порядків
- Название:
- моделі арифметики
- Название:
- дескриптивна теорія множин
- Название:
- теорія порядкових типів, ординальних та кардинальних чисел
- Название:
- теорія упорядкованих множин
- Название:
- ординальні числа
- Название:
- кардинальні числа
- Название:
- кардинальні характеристики континуума
- Название:
- лямбда-числення та комбінаторна логіка
- Название:
- автомати та їх логічні застосування
- Название:
- математичні моделі обчислювальних процесів
- Название:
- застосування теорії обчислень
- Название:
- великі кардинальні числа
- Название:
- нестандартна теорія множин
- Название:
- некласичні теорії множин
- Название:
- інтуїціоністська теорія множин
- Название:
- силогістика
- Название:
- застосування логічних числень
- Название:
- інтуїціоністська теорія типів
- Название:
- інші задачі теорії множин
- Название:
- теоретико-категорійні методи у теорії множин
- Название:
- оберненв математика
- Название:
- теорія складності
- Название:
- складність обчислень
- Название:
- порядкова індексація; рекурсивні ординали
- Название:
- загальна теорія числень
- Название:
- системи перезапису термів
- Название:
- аксіоматизація аналізу
- Название:
- нестандартний та некласичний аналіз
- Название:
- нестандартний аналіз
- Название:
- інтуїціоністський аналіз
- Название:
- конструктивний та рекурсивний аналіз
- Название:
- інші логіко-математичні теорії
- Название:
- формальні граматики
- Название:
- обчислювальні, рекурсивні функції
- Название:
- субрекурсивні ієрархії: класи рекурсивних функцій
- Название:
- ймовірнісні логіки
- Название:
- багатозначні логіки
- Название:
- нечіткі логіки та множини
- Название:
- паранесуперечливі логіки
- Название:
- індуктивна логіка
- Название:
- ймовірнісна логіка
- Название:
- субструктурні логіки
- Название:
- релевантні логікки
- Название:
- лінійні логіки
- Название:
- числення Ламбека
- Название:
- категоричні логіки
- Название:
- прикладні системи логіки
- Название:
- квантові логіки
- Название:
- немонотонні логіки
- Название:
- логвки знань
- Название:
- теорія доведень
- Название:
- загальні задачі теорії доведень
- Название:
- різноманітні системи доведень
- Название:
- числення гільбертового типу
- Название:
- числення секвенцій, елімінація розрізів
- Название:
- різноманітні моделі обчислень
- Название:
- машини Тюрінга та задачі, пов'язані з ними
- Название:
- мови математичної логіки, формальні мови
- Название:
- пошук доведень в логічних численнях
- Название:
- метод резолюцій, метод розкладу
- Название:
- логічне програмування
- Название:
- екваціональні судження
- Название:
- інтерпретації та відносна несуперечливість
- Название:
- застосування ординалів в теорії доведень
- Название:
- математичні структури, теорія моделей
- Название:
- загальні задачі теорії моделей
- Название:
- аксіоматичні теорії
- Название:
- повнота та категоричність теорій; повнота моделей
- Название:
- розв'язні та неров'язні теорії
- Название:
- елімінація кванторів
- Название:
- моделі математичних теорій
- Название:
- визначуваність та пов'язані з нимипоняття , геометрична теорія стійкості
- Название:
- стійкість теорії класифікації
- Название:
- теоретико-модельні конструкції
- Название:
- реалізовувальні та вилучальні типи
- Название:
- двокардинальні теореми
- Название:
- ультрадобутки та пов'язані з ними конструкції
- Название:
- теоретико-модельне змушення
- Название:
- класи моделей
- Название:
- моделі зі спеціальними властивостями; насичені
- Название:
- упорядковані моделі, о-мінімальність
- Название:
- зліченні моделі
- Название:
- теорія зкінченних моделей
- Название:
- теоретико-рекурсивна теорія моделей
- Название:
- теорія логічного висновку
- Название:
- логічні числення
- Название:
- формалізація традиційної логіки
- Название:
- абстрактна алгебраїчна логіка
- Название:
- алгебри відношень (циліндричні, поліадичні, алгебри реляційних множин)
- Название:
- алгебри ціліндричного типу
- Название:
- модельно-теоретичні властивості алгебр, що пов'язані з логікою
- Название:
- класичні логічні теорії
- Название:
- логіки предикатів вищих порядків
- Название:
- інфінітарні мови та логіки
- Название:
- некласичні логіки
- Название:
- імплікативні числення
- Название:
- інтуїціоністська логіка та суперінтуїціоністські логіки
- Название:
- підсистеми інтуїціоністської логіки
- Название:
- модальні логіки
- Название:
- часові логіки
- Название:
- дінамічні логіки
- Название:
- природні системи дедукції, нормалізація
- Название:
- метод таблиць
- Название:
- складність доведень
- Название:
- логіка висловлень другого порядку
- Название:
- класична логіка предикатів першого порядку
- Название:
- узагальнені квантери
- Название:
- алгебраїчна логіка
- Название:
- мова тернарного опису
- Название:
- посібники для практиних занять та навчання, задачники, збірники вправ - основи математики, алгоритми, обчислювальні функції, математична логіка, математичні структури, теорія моделей
- Название:
- некласичні моделі
- Название:
- теоретико-категорийні методи в теорії моделей
- Название:
- застосування теорії моделей
- Название:
- теорія обчислюваності: загальні питання