АЛГОРИТМІВ ЕКВІВАЛЕНТНІСТЬ

1еквівалентність алгоритмів

2еквівалентність алгоритмів

3еквівалентність алгоритмів

4еквівалентність алгоритмів

5еквівалентність

6еквівалентність

7еквівалентність

8рухова еквівалентність

9моторна еквівалентність

10еквівалентність

11еквівалентність відповідей

12еквівалентність реакцій

13еквівалентність

асимптотична еквівалентність — асимптотична еквівалентність

14еквівалентність

асимптотична еквівалентність — асимптотична еквівалентність

15еквівалентність

16еквівалентність

17еквівалентність

18еквівалентність

19еквівалентність

еквівалентність обміну - алмашу еквівалентлиги

20встановити еквівалентність властивостей

також в інших словниках:

АЛГОРИТМІВ ЕКВІВАЛЕНТНІСТЬ — бінарне відношення, що зв'язує алгоритми фіксованого типу і виражає той факт, що у будь-яких двох пов'язаних цим ставленням алгоритмів при збігу певного виду вихідних даних збігаються і результати роботи (а також, можливо, і… … Математична енциклопедія

Еквівалентність детермінованих та недетермінованих кінцевих автоматів — Кінцевий автомат у теорії алгоритмів математична абстракція, що дозволяє описувати шляхи зміни стану об'єкта в залежності від його поточного стану та вхідних даних, за умови що загальна можлива кількість станів звичайно.… … Вікіпедія

АЛГЕБРА ЛОГІКИ - система алгебраїч. методів вирішення логіч. задач, і навіть сукупність завдань, розв'язуваних такими методами. А. л. у вузькомусенсі слова алгебраїч. (Табличне, матричне) побудова класич. логіки висловлювань, в якому розглядаються... Філософська енциклопедія

АЛГОРИТМ - [від algorithm!; algorismus, спочатку лат. транслітерація імені пор. азіат. вченого 9 ст. Хорезмі (Мухаммед бен Муса аль Хорезмі)], програма, що визначає спосіб поведінки (обчислення); система правил (приписів) для ефективного… … Філософська енциклопедія

АЛГОРИТМІЧНА ПРОБЛЕМА — проблема, в якій потрібно знайти єдиний метод (алгоритм).для вирішення нескінченної серії однотипних одиничних задач. Такі проблеми іноді зв. також масовими проблемами. А. п. виникали і вирішувалися в різних галузях математики протягом ....

ЕКВІВАЛЕНТНІ ПЕРЕТВОРЕННЯ — керуючих систем перетворення, що зберігають відношення еквівалентності (о. е.) керуючих систем (у. с.). Використовуються в задачах оптимізації, контролю, а також як засіб характеризації (напр., Аксіоматизації) певних класів. с.;… … Математична енциклопедія

Арифметика - Ганс Себальд Бехам. Арифметика. XVI століття Арифметика (ін. грец. ἀ … Вікіпедія

Недетермінована машина Тьюринга — Машина Тьюринга Варіанти машин Універсальна машина Тьюринга Квантова машина Тьюринга en:Read only right moving Turing Machines Вірогідна машина Тьюринга Недетер … Вікіпедія

Coq — (фр. coq півень) інтерактивний програмний засіб доказу теорем, що використовує власну мову функціонального програмування (Gallina) із залежними типами. Дозволяє записувати математичні теореми та їх ... Вікіпедія

Автоматова теорія — частина теоретичної кібернетики, об'єктом дослідження якоїє різноманітні перетворювачі дискретної інформації; виникла на початку 50-х років. 20 ст. у зв'язку з вимогами практики проектування обчислювальних ... Велика радянська енциклопедія

КОМБІНАТОРНИЙ АНАЛІЗ — комбінаторна математика, комбінаторика, розділ математики, присвячений розв'язанню задач вибору та розташування елементів деякої, зазвичай кінцевої, множини відповідно до заданих правил. Кожне таке правило визначає спосіб побудови.

---