Теорема на Де Морган
Теоремата за добавяне - * теория за сгъване * теорема за добавяне е емпирично правило, което гласи, че разстоянието в морганиди () на триместния участък A B C между гени A и C е равно на сумата от разстоянията между гени A и B и между гени B и C, ако ген B е разположен ... ... Генетика. енциклопедичен речник
АЛГЕБРА НА ЛОГИКАТА — алгебрична система. методи за логическо решение. задачи, както и набор от задачи, решени с такива методи. A. l. в тесния смисъл на думата алгебричен. (табличен, матричен) изграждане на класическия. пропозиционална логика, която се занимава с ... ... Философска енциклопедия
ИЗЧИСЛЕНИЕ НА ПРЕДИКАТИТЕ е общото наименование на смятането на математическата логика, което е формализиране на тези раздели на съвременната. логика, krye изучава субективната предикатна структура на изречения (изявления), разбирана в по-широк смисъл, отколкото в традиционния. логика, смисъл: в допълнение към теорията ... Философска енциклопедия
История на математиката - История на науката ... Уикипедия
Математика на древния изток - История на науката Предмет Математика Естествени науки ... Уикипедия
Fontains of Paradise - "Fountains of Paradise" The Fountains of Paradise Жанр: римски Автор: Arthur Kl ... Wikipedia
Критерият на Пост е една от централните теореми в теорията на булевите функции, установяваща необходимо и достатъчно условие набор от булеви функции да бъде достатъчно изразителен, за да представи всяка булева функция. За първи път ... ... Wikipedia
СИМВОЛНА ЛОГИКА — СИМВОЛНА ЛОГИКА математическа логика. теоретичната логика е клон на логиката, в който логическите заключения се изследват с помощта на логическо смятане, базирано на строг символичен език. Терминът "символна логика" очевидно е бил ... Енциклопедия по философия
ЛОГИКАТА НА ИЗЯВЛЕНИЯТА е раздел от логиката, който изучава връзките на истината между твърденията. В рамките на този раздел твърденията (предложения, изречения) се разглеждат само от гледна точка. тяхната истинност или неистинност, независимо от тяхната вътрешна субективност ... Философска енциклопедия
Списък със статии по логика - Това е сервизен списък със статии, създаден за координиране на работата по разработването на темата. Това предупреждение не трае ... Уикипедия
Философия - Скулптура "Мислителят" (фр. Le Penseur) от Огюст Роден, която често се използва като символ на философията ... Wikipedia