ИЗЧИСЛЕНИЕ НА КЛАСОВЕ

един смятане

2 смятане

3 смятане на класове

4 разклонен клас смятане

пет смятане на класове

6 смятане на класове

7 смятане на класове

8 смятане на класове

девет смятане на класове

десет смятане на класове

единадесет разклонен клас смятане

12 смятане на класове

13 смятане на класове

14. смятане

безкрайно малко смятане

еднозначно предикатно смятане

ограничено предикатно смятане

функционално смятане или предикатно смятане

функционално смятане или предикатно смятане

чисто предикатно смятане

петнадесет библиотека на базовия клас за обектно-ориентирано програмиране в Windows среда

16. клас библиотека

17 диаграма на класа

19. базиран на клас

20. структура на класа

Вижте и други речници:

ИЗЧИСЛЕНИЕ НА КЛАСОВЕ - вижте Логистика. Философски енциклопедичен речник. 2010 г. ... Философска енциклопедия

ИЗЧИСЛЕНИЕ НА КЛАСОВЕ - традиционното, датиращо от G. Boole (G. Boole) наименование на математическия раздел. логика, изучаване на логиката на класовете. К. и. всъщност представлява логиката на твърдения, в която субективната структура на предиката се разглежда допълнително ... ... Енциклопедия по математика

ИЗЧИСЛЕНИЕ НА КЛАСОВЕ - аксиоматичен. (вж. Аксиоматичен метод) описание на логиката на класа. Изчислението е равно на смятане на унарни предикати (вж. Логика на предикати): тези смятания имат еднакви класове както на първоначалните формули, така и на производни формули (теореми); ... ... Философска енциклопедия

смятане - формален апарат, базиран на ясни правила за работа със знания от определен тип, който дава възможност да се даде точно описание на определен клас проблеми, а за отделни подкласове от този клас алгоритъм за решение. В математическата логика понятието за ... Речник на термините на логиката

КАЛКУЛ - (формална система) система от символи, чиито основни компоненти са: 1) азбука (набор от елементарни символи на букви, цифри, скоби и др.), 2) правила за изграждане на формули от символи на азбука, 3) аксиоми (първоначално доказуеми формули) ... Философска енциклопедия

ИЗЧИСЛЕНИЕ НА КЛАСОВЕ - раздел от математическа логика, логика на класовете, представен (изграден) като изчисление; приблизително съответства на силогистиката на Аристотел ... Голям енциклопедичен речник

смятане на класове - раздел от математическа логика, логика на класовете, представен (изграден) като смятане; приблизително съответства на силогистиката на Аристотел. * * * ИЗЧИСЛЯВАНЕ НА КЛАСОВЕ ИЗЧИСЛЯВАНЕ НА КЛАСОВЕ, раздел на математическата логика, логика на класовете (виж ЛОГИКА ... ... Енциклопедичен речник

ПРЕДВАРИТЕЛНО ИЗЧИСЛЕНИЕ - общото наименование на математическото смятане, които са формализирането на тези раздели на съвременното. логици, които изучават субективно предикатната структура на изреченията (твърдения), разбирани в по-широк смисъл, отколкото в традицията. логика, смисъл: в допълнение към теорията ... Философска енциклопедия

ИЗЧИСЛЕНИЕ НА ВАРИАЦИЯТА - числени методи раздел от изчислителната математика, посветен на методи за намиране на екстремните стойности на функционали. Числени методи V. и. обичайно е да се разделят на два големи класа: косвени и директни методи. Косвените методи се основават на ... ... Енциклопедия на математиката

БЕЗКРАЙНО МАЛКО ИЗЧИСЛЕНИЕ - термин, който преди това е комбинирал различни математически раздели. анализ, свързан с понятието за безкрайно малка функция. Въпреки че методът на безкрайно малък (под една или друга форма) беше успешно използван от учени от Древна Гърция и средновековна Европа за решаване ... ... Енциклопедия по математика

ЛОГИКА В РУСИЯ - еволюция на съвременната (математическа) логика в Русия. Con. 19 век и рано. 20-ти век отбелязват изхода на логиката извън рамките на силогистиката и появата на иновативни логици като P.S. Порецки, М.В. Карински, Л.В. Рутковски, SI. Поварнин и др. Казански ... ... Философска енциклопедия