Теорема де Моргана
Теорема складання - * теорема складання * additive theorem емпіричне правило, яке свідчить, що відстань у морганідах () на трилокусній ділянці А B C між генами А і С дорівнює сумі відстаней між генами А і В і між генами В і С, якщо ген розташований… … Генетика. Енциклопедичний словник
АЛГЕБРА ЛОГІКИ - система алгебраїч. методів вирішення логіч. задач, і навіть сукупність завдань, розв'язуваних такими методами. А. л. у вузькому значенні слова алгебраїч. (Табличне, матричне) побудова класич. логіки висловлювань, в якому розглядаються... Філософська енциклопедія
ПРЕДИКАТІВ ЛІКУВАННЯ — загальна назва обчислень математичної логіки, що є формалізацією тих розділів суч. логіки, які вивчають суб'єктно предикатну структуру речень (висловлювань), що розуміється в ширшому, ніж у традиціях. логіці, сенсі: окрім теорії … Філософська енциклопедія
Історія математики - Історія науки ... Вікіпедія
Математика Стародавнього Сходу — Історія науки За тематикою Математика Природничі науки … Вікіпедія
Фонтани раю — «Фонтани раю» The Fountains of Paradise Жанр: Роман Автор: Артур Кл … Вікіпедія
Критерій Посту - одна з центральних теорем в теорії булевих функцій, що встановлює необхідну і достатню умову для того, щоб деякий набір булевих функцій мав достатню виразність, щоб представити будь-яку булеву функцію. Вперше… … Вікіпедія
ЛОГІКА СИМВОЛИЧНА — ЛОГІКА СИМВОЛИЧНА математична логіка. теоретична логіка - область логіки, в якій логічні висновки досліджуються за допомогою логічних обчислень на основі суворої символічної мови. Термін "символічна логіка" був, мабуть ... Філософська енциклопедія
ЛОГІКА ВИКАЗІВ — розділ логіки, в якому вивчаються істинні взаємозв'язки між висловлюваннями. У межах цього розділу висловлювання (пропозиції, пропозиції) розглядаються лише з т.зр. їх істинності чи хибності, безвідносно до їхньої внутрішньої суб'єктно… Філософська енциклопедія
Список статей з логіки - Це службовий список статей, створений для координації робіт з розвитку теми. Дане попередження не ... Вікіпедія
Філософія — Скульптура «Думник» (фр. Le Penseur) Огюста Родена, яка часто використовується як символ філософії … Вікіпедія