Предикатната аритметика е
Аритметика от Ханс Себалд Бехам. Аритметика. Аритметика от XVI век (друг гръцки ἀ ... Wikipedia
ФОРМАЛНА АРИТМЕТИКА - аритметично смятане, логическа математика. смятане, формализиращо елементарната теория на числата. Езикът на най-често срещания вариант на A. f. съдържа константата 0, числови променливи, символ за равенство, функционални символи (приложение 1) и ... ... Математическа енциклопедия
Логика на предикатите е раздел от математическата логика (вижте Логика), който изучава логически закони, общи за всяка област от обекти на изследване (съдържащи поне един обект) с предикати (т.е. свойства и отношения), дадени на тези обекти. В резултат ... ... Велика съветска енциклопедия
Формална аритметика — формулиране на аритметика под формата на формална (аксиоматична) система (виж Аксиоматичен метод). Езикът на Ф. и. съдържа константата 0, числовите променливи, символа за равенство, функционалните символи +, •, (приложение 1) и логическите връзки (вижте ... Голямата съветска енциклопедия
ФОРМАЛНА СИСТЕМА НА GEYTINGA — Изчисление на Heytipga, името на три формални системи на конструктивна логика, предложено от A. Rating [1]. Първият от тях е Heyting, или интуиционистично, пропозиционално смятане, формализиране на принципите на конструктивната пропозиционална логика; ... ... Математическа енциклопедия
СТРУКТУРНАТА ЛОГИКА е клон на математическата логика, който изучава разсъждения относно конструктивни обекти и структури. С това разбиране К. л. по-широко от логиката на конструктивната математика. Най-забележимата разлика от традиционната (класическа) логика е липсата на ... ... Математическа енциклопедия
ИЗЧИСЛЕНИЕ - (формална система) система от символи, основните компоненти на която са: 1) азбука (наборелементарни символи на буквите. числа, скоби и др.), 2) правила за конструиране на формули от буквени знаци, 3) аксиоми (първоначални доказуеми формули) ... Философска енциклопедия
ЛОГИКО-МАТЕМАТИЧЕСКО СЧИТАНИЕ — приложно смятане, формализация на математиката. теории. Л. м. и. се дава от собствен език и списък от постулати (тези елементи формират синтаксиса) и в повечето случаи е снабден със семантика. Основните черти, отличаващи L. m. и. от аксиоматичен ... Енциклопедия по математика
Дедуктивна теория - Синоним на теория на фокуса Съдържание 1 Определение и разновидности 2 Разновидности на дедуктивни теории ... Уикипедия