Підстановка на безлічі
КВАЗІГРУПА — множина з однією бінарною операцією (наз. зазвичай множенням), в кром кожне з рівнянь ах=Ь і уа=Ь має єдине рішення для будь-яких елементів а, b цієї множини. з одиницею зв. лупою. природне узагальнення поняття групи. К.… … Математична енциклопедія
ПІДСТАНОВОК ГРУПА — сукупність підстановок на деякій множині X, що утворюють групу щодо операції множення підстановок. Інакше, П. р. це пара (G, X), де G група, X множина і кожному відповідає підстановка множини Xтака, що 1) , , і 2) х a = х ... ...
ЛОГІКА ПРЕДИКАТІВ — центральний розділ логіки, в якому вивчається суб'єктно-предикатна структура висловлювання та істинні взаємозв'язки між ними. Л.П. є змістовним розширенням логіки висловлювань. У рамках даного розділу будь-яке висловлювання… … Філософська енциклопедія
АЛГЕБРА АБСТРАКТНА - (загальна алгебра), розділ сучасної математики, що виріс із дослідження рівнянь та теорії чисел. Свою теперішню форму абстрактна алгебра почала набувати лише у ХХ столітті. Займається головним чином вивченням систем, елементи яких ... Енциклопедія Кольєра
ЛОГІКА ВИКАЗІВ — розділ логіки, в якому вивчаються істинні взаємозв'язки між висловлюваннями. У межах цього розділу висловлювання (пропозиції, пропозиції) розглядаються лише з т.зр. їх істинності чи хибності, безвідносно до їхньої внутрішньої суб'єктно… Філософська енциклопедія
Перестановка — У комбінаториці перестановка це впорядкований набір чисел, що зазвичай трактується як бієкція на множині , яка числу i ставить відповідність i й елемент з набору. Число n у своїй називається порядком перестановки. Як синонім слову…Вікіпедія
МОДАЛЬНА ЛОГІКА - розділ логіки, у якому досліджуються логічні зв'язки модальних висловлювань, тобто. висловлювань, які включають модальності. Мл. складається з низки напрямів, кожен із яких займається модальними висловлюваннями певного типу. У сучасній М … Філософська енциклопедія
КОМБІНАТОРНІ ЗАВДАННЯ — класичний незавдання вибору та розташування елементів кінцевої множини, що мають як вихідне деяке формулювання розважального змісту типу головоломок. Однією з класичних К. з., що фігурує ще в міфах Стародавнього Сходу, ...
Семантика обчислень — Семантика обчислень це визначення процесу обчислення у вигляді послідовності правил перезапису, яке разом із уявленням про збіжність вперше було використано в контексті обчислення. Східність важлива також у системах ... Вікіпедія
БАГАТОЗНАЧНІ ЛОГІКИ — БАГАТОЗНАЧНІ ЛОГІКИ узагальнення класичної двозначної логіки (див. Логіка висловлювань) наприклад, за допомогою якого до звичайних істиннісних значень "істина" і "брехня" додаються й інші (проміжні) значення. Цей факт вказує на те, що … Філософська енциклопедія
Дозвол лексичної багатозначності — Необхідно перевірити якість перекладу та привести статтю у відповідність до стилістичних правил Вікіпедії. Ви можете допомогти … Вікіпедія