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

[[Категорія:Формальні методи]] [[Категорія:Системи формальної логіки]] ...

...ка|прикладах]] — [[Реляційна система керування базами даних|реляційні системи керування базами даних]], методологічно засновані на [[Реляційна алгебра|фо == Формальні означення і позначення == ...

Дивись [[формальні мови]] для загальних міркувань з приводу як будуються вирази, і [[формальна Обчислення виразу залежить від визначення математичних операторів і від системи значень, яка використовується в поточному контексті. ...

...на структура та [[Формалізація|формалізації]] [[Аксіоматика |аксіоматичної системи]] ([[теорія|теорії]]), яка використовується для виведення [[Теорема|теорем] ...[Бертран Расселл|Рассела]] та [[Альфред Норт Вайтгед|Вайтгеда]] «Формальні системи». Цим формальним системам було пред'явлено певні вимоги. ...

=== Формальні мови та лямбда-числення === {{Main|Формальна мова|Лямбда-числення}}Формальні мови дають змогу формалізувати поняття коректно сформульованих виразів. ...

...орії ймовірностей]], метою досліджень якого є раціональний вибір структури системи обслуговування та процесу обслуговування на основі вивчення потоків вимог н ...телефоністки час від часу з'єднують окремі номери телефонів один з одним. Системи масового обслуговування (СМО) можуть бути двох видів: з очікуванням і без о ...

...о відрізняється» при цьому можна формалізувати по-різному, отримуючи різні формальні визначення стійкості: стійкість за [[Ляпунов Олександр Михайлович|Ляпуновим ...Omega</math> існує єдиний розв'язок ''x(t, t₀, x₀)'' системи (1), задовольняюче початковим умовам ''x(t₀, t₀, x<su ...

...], тому будь-яка спроба змоделювати реальність через формальні математичні системи приречена на невдачу. *замість формальних систем необхідно використовувати «системи, що розвиваються» (process system), здатні до само-розвитку, само-організац ...

'''Інші абстрактні виконавці та формальні системи обчислень:''' ...

...разків, що утворюють нескінченну (або дуже велику) множину, користуються [[формальні граматики|формальними граматиками]] і [[регулярні вирази|регулярними вираза | Конструктивні пошукові системи ({{lang-en|Constructed search engines}}) ...

У самому базовому вигляді системи рерайтинга складаються з набору об'єктів, плюс відносин про те, як перетвор ...набір можливих правил програми. Проте у поєднанні з відповідним алгоритмом системи рерайтинга можуть розглядатися як [[Комп'ютерна програма|комп'ютерні програ ...

{{Системи числення}}Для [[Математичний запис|математичного запису]] [[Число|числа]] в ...(1726) та [[Оґюстен-Луї Коші|Коші]] (1840) використовували знако-розрядні системи числення. Наступний крок&nbsp;— заміну цифр з відхиленням запропонували Сел ...

[[Категорія:Формальні системи]] ...

{{Теорема | Для ''N''≥2 і ''n''≥3 не існує системи голосування, яка відповідає всім п'яти умовам.}} {{Теорема | Для ''N''≥2 і ''n''≥3 не існує системи голосування, яка відповідає всім чотирьом умовам.}} ...

...них формальних моделей алгоритму та дослідження їх властивостей. При цьому формальні моделі були запропоновані як для первісного поняття алгоритму, так і для по ...юдство. Кожна така система є множиною взаємопов'язаних об'єктів (елементів системи), які здатні сприймати, запам'ятовувати та переробляти інформацію, а також ...

Елементами локалізації кільця ''R'' по мультиплікативній системі ''S'' є формальні дроби виду ''r/s'', де ''r'' &nbsp;— довільний елемент ''R'', а ''s'' &nbsp ...to R/I </math> — природна проєкція на фактор-кільце. Для мультиплікативної системи ''S'', що не перетинається з ''I'' позначимо через ''T'' образ цієї множини ...

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

== Приклад: Гільбертові системи для двох логік висловлень == ...і як прийнятність&nbsp;— ні. Щоби побачити різницю, припустімо, що до цієї системи доведення було додано наступне безглузде правило: ...

[[Категорія:Формальні системи]] ...

...ходу до деталізованого проектування та програмування. Один з найстаріших [[формальні методи|формальних методів]], вплинув на розвиток багатьох інших, як [[Z нот ...Моделі, які були проаналізовані, можуть бути переведені в детальний проект системи через процес вдосконалення та фільтрації. Мова має формальну семантику, що ...