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

...(програмування)|параметра]], значенням якої або якого може бути [[Функція (програмування)|функція]]; або тип аргументу чи повертаного значення [[Функція вищого поря ...]. Серед інших властивостей, таке уявлення несе в собі ідею [[Поліморфізм (програмування)|поліморфної функції]]. ...

...йбільш вживана абетка це {0,1}, '''двійкова абетка'''. Скінченний [[Рядок (програмування)|рядок]] це скінченна послідовність літер з абетки; наприклад двійковий ряд Абетки важливі при використанні [[формальна мова|формальних мов]], [[Теорія автоматів|автоматів]] і [[Модель станів і переходів|напіватомат ...

...систем, необов'язково числових — [[Булевий вираз|логічні]], [[Рядок (програмування)|текстові]], матричні, векторні, тензорні, аналітичні, теоретико-множинні т == Синтаксис і семантика == ...

...ожнюється]] з істиною функції, яка приймає істину хибністю та навпаки. У [[Семантика Кріпке|семантиці Кріпке]], заперечення — це теоретико-множинне [[допов == Програмування == ...

...Quantum Computing |accessdate=12 грудня 2015}}</ref>. Завдання квантових мов не полягає у тому, щоб надати інструмент для програмістів, а в тому, щоб на ...ння: імперативні квантові мови програмування і функціональні квантові мови програмування. ...

...({{lang-en|Liskov Substitution Principle}}, LSP) в [[Об'єктно-орієнтоване програмування|об'єктно-орієнтованому програмуванні]]&nbsp;— це спеціальне визначення ''[[ ...й для оцінки якості ухвалених рішень при побудові ієрархій [[успадкування (програмування)|успадкування]]. Сформулювати його можна у вигляді простого правила: тип S ...

...числень|обчислювальної складності]], [[Функційне програмування|функційного програмування]]. ...зовому принципі, зокрема, такими є [[структурна операційна семантика]] мов програмування {{Iw|Гордон Плоткін|Плоткіна|en|Gordon Plotkin}})<ref>{{Стаття|author=G. Pl ...

paradigm = [[Функційне програмування|функційна]], не строга, [[Модульне програмування|модульна]] | ...ва програмування)|Miranda]], [[ML (мова програмування)|ML]], [[Gofer (мова програмування)|Gofer]], [[Scheme]] | ...

'''Змі́нна ти́пу''' або '''ти́пова змі́нна''' в [[Мова програмування|мовах програмування]] та [[Теорія типів|теорії типів]]&nbsp;— [[змінна]], яка може набувати зна ...ристовують літери грецького алфавіту (хоча багато [[Мова програмування|мов програмування]] використовують латиницю і допускають довші назви). ...

...алгоритмічні логіки]]'''. Вони були створені з метою опису семантики мовою програмування. В 1969 році Гоар визначив просту мову програмування через логічну систему аксіом і правила виведення для доведення часткової пр ...

...нтика мов програмування|семантика]] і [[Формальні методи|верифікація]] мов програмування, [[Теорія автоматів|теорію автоматів]], а також [[Теорія випадкових процесі ...ритм]]ів. Деякі формальні методи проєктування та [[Мова програмування|мови програмування]] підкреслюють структури даних, а не алгоритми, як ключовий організаційний ...

...26081645/http://swtch.com/~rsc/thread/}}</ref>, {{iw|RaftLib}}, [[Go (мова програмування)|Go]]<ref name="golang">{{cite web |title=Language Design FAQ: Why build co ...в оригінальній публікації Хоара 1978 року була, по суті, рівночасною мовою програмування, а не {{iw|числення процесів|численням процесів|en|process calculus}}. CSP ...

{{Парадигми програмування}} ...ї [[Математична логіка|математичної логіки]]. Найвідомішою мовою логічного програмування є [[Prolog]], що є за своєю суттю універсальною машиною виводу, що працює в ...

...також як основа для розробки [[Функційне програмування|функціональних мов програмування]]. Вона заснована на '''комбінаторах,''' які були введені [[Шейнфінкель Мой ...икативного функтора [[Віллард Ван Орман Квайн|Квайна]]. Хоча [[Виразність (програмування)|виразність]] комбінаторної логіки зазвичай перевищує за цим параметром [[Л ...

...ем, аналізу створених моделей і переходу до деталізованого проектування та програмування. Один з найстаріших [[формальні методи|формальних методів]], вплинув на роз Має розширення VDM++, для [[об'єктно-орієнтоване програмування|об'єктно-орієнтованих систем]]. ...

...s}}, іноді ще їх називають '''дескрипційними логіками''')&nbsp;— сімейство мов [[представлення знань]], що дозволяють описувати поняття [[предметна област ...ься своїм [[синтаксис]]ом, тобто правилами побудови виразів цієї мови, і [[семантика|семантикою]], тобто способом приписування цим висловам деякого формального ...

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

...ультипарадигмальна]]: [[паралельне програмування|паралельна]], [[функційне програмування|функційна]] | genre = [[мова програмування]], [[інтерпретатор]] ...