Рубрика

Название:

 

фундаментальні та загальні питання математики  

Название:

 

загальні питання математичної логіки, основи математики  

Название:

 

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

Название:

 

філософські проблеми математичної логіки  

Название:

 

теоретико-категорійні основи математики  

Название:

 

формалізм (математичні аспекти)  

Название:

 

інтуїціоністська математика  

Название:

 

конструктивна математика, конструктивний підхід  

Название:

 

мови конструктивної математики  

Название:

 

конструктивні математичні теорії  

Название:

 

логічна семантика, теорія істини  

Название:

 

логічні та семантичні антиномії  

Название:

 

застосування математичної логіки  

Название:

 

логічний аналіз природних мов  

Название:

 

теорія множин  

Название:

 

наївна теорія множин  

Название:

 

алгебра множин, функції співвідношення  

Название:

 

аксіоматична теорія множин  

Название:

 

базисні аксіоматичні системи теорії множин  

Название:

 

теорія множин Цермело-Френкеля та пов'язані системи  

Название:

 

теорія типів та пов'язані системи  

Название:

 

теорія множин NF Куайна та пов'язані системи  

Название:

 

теоретико-множинні аксіоми та принципи  

Название:

 

аксіома вибору, аксіома детермінованості та пов'язані принципи  

Название:

 

гіпотиза континуума, аксіома Мартіна та пов'язані принципи  

Название:

 

немуперечливість та незалежність у теорії множин  

Название:

 

теоретико-множинні конструкції  

Название:

 

алгоритми, обчислювальні функції  

Название:

 

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

Название:

 

класична логіка  

Название:

 

класична пропозиційна логіка, числення висловлень  

Название:

 

булеві функції  

Название:

 

посібники для викладання, навчання, практичної підготовки - фундаментальні та загальні питання математики: основи математики, алгоритми, обчислювальні функції, математична логіка, математичні структури, теорія моделей  

Название:

 

підручники, навчальні посібники для університетів, ВНЗ - фундаментальні та загальні питання математики: основи математики, теорія множин, алгоритми, обчислювальні функції, математична логіка, математичні структури, теорія моделей  

Название:

 

змушення  

Название:

 

булеві та пов'язані з ними моделі  

Название:

 

внутрішні моделі теорії множин  

Название:

 

комбінаторна теорія множин  

Название:

 

числення розбиттів  

Название:

 

фільтри, ультрафільтри, реf-теорія  

Название:

 

дескриптивна теорія множин  

Название:

 

теорія порядкових типів, ординальних та кардинальних чисел  

Название:

 

теорія упорядкованих множин  

Название:

 

ординальні числа  

Название:

 

кардинальні числа  

Название:

 

кардинальні характеристики континуума  

Название:

 

великі кардинальні числа  

Название:

 

нестандартна теорія множин  

Название:

 

некласичні теорії множин  

Название:

 

інтуїціоністська теорія множин  

Название:

 

інтуїціоністська теорія типів  

Название:

 

інші задачі теорії множин  

Название:

 

теоретико-категорійні методи у теорії множин  

Название:

 

застосування теорії множин  

Название:

 

формалізація традиційних математичних теорій  

Название:

 

формальна арифметика  

Название:

 

елементи та підсистеми арифметики  

Название:

 

арифметика другого та вищих порядків  

Название:

 

моделі арифметики  

Название:

 

арифметична визначуваність  

Название:

 

інші задачи формальної арифметики  

Название:

 

некласичні арифметичні системи  

Название:

 

інтуїціоністська арифметика  

Название:

 

арифметика пізнання  

Название:

 

аксіоматизація аналізу  

Название:

 

нестандартний та некласичний аналіз  

Название:

 

нестандартний аналіз  

Название:

 

інтуїціоністський аналіз  

Название:

 

конструктивний та рекурсивний аналіз  

Название:

 

інші логіко-математичні теорії  

Название:

 

оберненв математика  

Название:

 

теорія складності  

Название:

 

складність обчислень  

Название:

 

алгоритмічна теорія інформації, складність за Колмогоровим  

Название:

 

алгоритмічні проблеми, обчислювальна теорія множин  

Название:

 

ієрархії алгоритмичних задач, ієрархія класів множин  

Название:

 

алгоритмічні звідність та ступені  

Название:

 

обчислення теорія  

Название:

 

узагальнена теорія рекурсії  

Название:

 

неперервні та рекурсивні функціонали  

Название:

 

індуктивна визначуваність  

Название:

 

обчислюваність абстрактних структур: ординали, допустимі множини  

Название:

 

порядкова індексація; рекурсивні ординали  

Название:

 

загальна теорія числень  

Название:

 

системи перезапису термів  

Название:

 

формальні граматики  

Название:

 

обчислювальні, рекурсивні функції  

Название:

 

субрекурсивні ієрархії: класи рекурсивних функцій  

Название:

 

різноманітні моделі обчислень  

Название:

 

машини Тюрінга та задачі, пов'язані з ними  

Название:

 

лямбда-числення та комбінаторна логіка  

Название:

 

автомати та їх логічні застосування  

Название:

 

математичні моделі обчислювальних процесів  

Название:

 

застосування теорії обчислень  

Название:

 

мови математичної логіки, формальні мови  

Название:

 

теорія логічного висновку  

Название:

 

логічні числення  

Название:

 

формалізація традиційної логіки  

Название:

 

силогістика  

Название:

 

застосування логічних числень  

Название:

 

логіка висловлень другого порядку  

Название:

 

класична логіка предикатів першого порядку  

Название:

 

узагальнені квантери  

Название:

 

алгебраїчна логіка  

Название:

 

абстрактна алгебраїчна логіка  

Название:

 

алгебри відношень (циліндричні, поліадичні, алгебри реляційних множин)  

Название:

 

алгебри ціліндричного типу  

Название:

 

модельно-теоретичні властивості алгебр, що пов'язані з логікою  

Название:

 

класичні логічні теорії  

Название:

 

логіки предикатів вищих порядків  

Название:

 

інфінітарні мови та логіки  

Название:

 

некласичні логіки  

Название:

 

імплікативні числення  

Название:

 

інтуїціоністська логіка та суперінтуїціоністські логіки  

Название:

 

підсистеми інтуїціоністської логіки  

Название:

 

модальні логіки  

Название:

 

часові логіки  

Название:

 

дінамічні логіки  

Название:

 

ймовірнісні логіки  

Название:

 

багатозначні логіки  

Название:

 

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

Название:

 

паранесуперечливі логіки  

Название:

 

індуктивна логіка  

Название:

 

ймовірнісна логіка  

Название:

 

субструктурні логіки  

Название:

 

релевантні логікки  

Название:

 

лінійні логіки  

Название:

 

числення Ламбека  

Название:

 

категоричні логіки  

Название:

 

прикладні системи логіки  

Название:

 

квантові логіки  

Название:

 

немонотонні логіки  

Название:

 

логвки знань  

Название:

 

теорія доведень  

Название:

 

загальні задачі теорії доведень  

Название:

 

різноманітні системи доведень  

Название:

 

числення гільбертового типу  

Название:

 

числення секвенцій, елімінація розрізів  

Название:

 

природні системи дедукції, нормалізація  

Название:

 

метод таблиць  

Название:

 

складність доведень  

Название:

 

пошук доведень в логічних численнях  

Название:

 

метод резолюцій, метод розкладу  

Название:

 

логічне програмування  

Название:

 

екваціональні судження  

Название:

 

інтерпретації та відносна несуперечливість  

Название:

 

застосування ординалів в теорії доведень  

Название:

 

математичні структури, теорія моделей  

Название:

 

загальні задачі теорії моделей  

Название:

 

аксіоматичні теорії  

Название:

 

повнота та категоричність теорій; повнота моделей  

Название:

 

розв'язні та неров'язні теорії  

Название:

 

елімінація кванторів  

Название:

 

моделі математичних теорій  

Название:

 

визначуваність та пов'язані з нимипоняття , геометрична теорія стійкості  

Название:

 

стійкість теорії класифікації  

Название:

 

теоретико-модельні конструкції  

Название:

 

реалізовувальні та вилучальні типи  

Название:

 

двокардинальні теореми  

Название:

 

ультрадобутки та пов'язані з ними конструкції  

Название:

 

теоретико-модельне змушення  

Название:

 

класи моделей  

Название:

 

моделі зі спеціальними властивостями; насичені  

Название:

 

упорядковані моделі, о-мінімальність  

Название:

 

зліченні моделі  

Название:

 

теорія зкінченних моделей  

Название:

 

теоретико-рекурсивна теорія моделей  

Название:

 

некласичні моделі  

Название:

 

теоретико-категорийні методи в теорії моделей  

Название:

 

застосування теорії моделей  

Название:

 

теорія обчислюваності: загальні питання  

Название:

 

мова тернарного опису  

Название:

 

посібники для практиних занять та навчання, задачники, збірники вправ - основи математики, алгоритми, обчислювальні функції, математична логіка, математичні структури, теорія моделей