Результати пошуку

...рограмування)|Epigram|en|Epigram (programming language)}} та [[Idris (мова програмування)|Idris]]. .../math> (де <math>\mathcal{U}</math>&nbsp;— всесвіт типів), можна визначити сімейство типів <math>B</math>, що зіставляє кожному терму <math>a:A</math> тип <math ...

...типами даних'''. Вони є основою [[узагальнене програмування|узагальненого програмування]]. ...x) = x</math> просто повертає свій аргумент без змін. Це природно породжує сімейство можливих типів, таких як <math>\mathsf{Int} \to \mathsf{Int}</math>, <math> ...

...ктно-орієнтована]], [[структурне програмування|структурна]], [[імперативне програмування|імперативна]] | influenced = [[C Sharp|C#]], [[D (мова програмування)|D]], [[J (програмування)|J#]], [[Ada|Ada 2005]], [[ECMAScript]], [[Groovy]], [[PHP]], [[Scala]], [[ ...

...інором графа ''G''. Заборонені мінори включають сім графів з [[Петерсонове сімейство|петерсенового сімейства]], три незв'язних графи, утворених з об'єднань ''K' ...утворюють замкнуте за мінорами сімейство з сімома графами з [[Петерсонове сімейство|петерсенового сімейства]] як мінімальними забороненими мінорами{{Sfn|Robert ...

...використовувати для оцінювання ємнісної складності алгоритмів динамічного програмування на графах з обмеженою деревною шириною{{sfn|Aspvall, Proskurowski, Telle|20 ...жні, якщо відповідні два ребра ''G'' мають спільні кінцеві точки. Будь-яке сімейство графів має обмежену шляхову ширину [[тоді й лише тоді]], коли його реберні ...

...апарат символів і досліджує мислення за допомогою числень (формалізованих мов).» Це визначення відповідає визначенню [[Стівен Коул Кліні|С. К. Кліні]]: м ...мови класичної логіки предикатів першого порядку. З іншого боку, є чимало мов, для яких побудова семантично повного і семантично придатного обчислення не ...

...s}}, іноді ще їх називають '''дескрипційними логіками''')&nbsp;— сімейство мов [[представлення знань]], що дозволяють описувати поняття [[предметна област ....''' Строго кажучи, <math>\mathcal{ALC}</math>&nbsp;— це не одна логіка, а сімейство логік, де кожна логіка цього сімейства задається вибором конкретних множин ...

{{redirect|Статистичне навчання|статистичне навчання в опановуванні мов|про статистичне навчання в лінгвістиці див.}} ...итання таке: Як комп'ютери можуть навчатися розв'язувати задачі без явного програмування?» у {{Cite conference |chapter=Automated Design of Both the Topology and Si ...

...ми «навчаються» виконувати завдання, розглядаючи приклади, як правило, без програмування правил для конкретних завдань. Наприклад, у [[Розпізнавання зображень|розпі ...дники зворотного поширення на основі [[Динамічне програмування|динамічного програмування]].<ref name="SCHIDHUB2" /><ref name="scholarpedia2">{{cite journal|last1=Sc ...