ЕКИВАЛЕНТНОСТ НА АЛГОРИТМИТЕ
1еквивалентност на алгоритми
2еквивалентност на алгоритми
3еквивалентност на алгоритми
4еквивалентност на алгоритми
5еквивалентност
6Еквивалент
7Еквивалент
8моторна еквивалентност
9моторна еквивалентност
10Еквивалент
11еквивалентност на отговорите
12еквивалентност на реакцията
13Еквивалент
асимптотична еквивалентност - асимптотична еквивалентност
14Еквивалент
асимптотична еквивалентност - асимптотична еквивалентност
15Еквивалент
16Еквивалент
17Еквивалент
18Еквивалент
19Еквивалент
обменна еквивалентност - almashu equivalentlygy
20задайте еквивалентност на свойство
Вижте и други речници:
ЕКВИВАЛЕНТНОСТ НА АЛГОРИТМИ - двоична релация, свързваща алгоритми от фиксиран тип и изразяваща факта, че за всеки два алгоритъма, свързани с тази връзка, ако определен тип начални данни съвпадат, резултатите от работата съвпадат (и също, може би, ... ... Математическа енциклопедия
Еквивалентност на детерминистични и недетерминирани крайни автомати - Краен автомат в теорията на алгоритмите е математическа абстракция, която ви позволява да опишете начините, по които състоянието на даден обект се променя в зависимост от текущото му състояние и входни данни, при условие че общият възможен брой състояния е краен. ... ... Wikipedia
АЛГЕБРА НА ЛОГИКАТА — алгебрична система. методи за логическо решение. задачи, както и набор от задачи, решени с такива методи. A. l. в тесниясмисъла на думата алгебраичен. (табличен, матричен) изграждане на класическия. пропозиционална логика, която се занимава с ... ... Философска енциклопедия
АЛГОРИТЪМ - [от алгоритъм!; algorismus, първоначално лат. транслитерация на името вж. азиатски. Учен от 9 век Khorezmi (Muhammed bin Musa al Khorezmi)], програма, която определя начина на поведение (изчисления); система от правила (предписания) за ефективно ... ... Философска енциклопедия
АЛГОРИТМИЧНА ЗАДАЧА е задача, при която се изисква да се намери единичен метод (алгоритъм) за решаване на безкрайна поредица от единични задачи от един и същи тип. Такива проблеми понякога се наричат също огромни проблеми. A. p. възникнаха и бяха решени в различни области на математиката през ... ... Математическа енциклопедия
ЕКВИВАЛЕНТНИ ТРАНСФОРМАЦИИ — системи за управление на трансформации, които запазват отношението на еквивалентност (c.e.) на системи за управление (c.s.). Те се използват в проблеми на оптимизация, управление, а също и като средство за характеризиране (например аксиоматизация) на определени класове на y. с.; ... ... Математическа енциклопедия
Аритметика от Ханс Себалд Бехам. Аритметика. Аритметика от XVI век (друг гръцки ἀ ... Wikipedia
Недетерминирана машина на Тюринг - Машина на Тюринг Варианти на машини Универсална машина на Тюринг Квантова машина на Тюринг Само за четене Машина на Тюринг Само за четене Дясно движещи се машини Машини на Тюринг Nedeter вероятностна машина на Тюринг ... Wikipedia
Coq — (френски coq петел) интерактивен софтуер за доказване на теорема, който използва собствен функционален език за програмиране (Gallina) със зависими типове. Позволява ви да пишете математически теореми и техните ... ... Wikipedia
Теорията на автоматите е част от теоретичната кибернетика (виж Кибернетика), чийто обект на изследванеса различни преобразуватели на дискретна информация; възниква в началото на 1950 г. 20-ти век във връзка с изискванията на практиката на компютърния дизайн ... ... Велика съветска енциклопедия
КОМБИНАТОРЕН АНАЛИЗ - комбинаторна математика, комбинаторика, клон на математиката, посветен на решаването на проблеми с избора и подреждането на елементи от определено, обикновено ограничено, множество в съответствие с дадени правила. Всяко такова правило определя метода на конструиране ... ... Математическа енциклопедия