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

...рограмування)|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_by = [[Objective-C]], [[C++]], [[Smalltalk]], [[Eiffel]]<ref>{{cite web|authors=Gosling and McGilton| ...

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

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

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

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

...ми «навчаються» виконувати завдання, розглядаючи приклади, як правило, без програмування правил для конкретних завдань. Наприклад, у [[Розпізнавання зображень|розпі ...g nets of threshold elements|journal= IEEE Transactions |date=1972 |volume=C |issue=21 |pages=1197–1206 }} {{ref-en}}</ref><ref name="DLhistory" /> Його ...