Результати пошуку
Перейти до навігації
Перейти до пошуку
Збіги в назвах сторінок
- ...], яке має виконуватись, якщо було виконано вимоги [[передумова (формальні методи)|передумови]]. Післяумова є складовою частиною [[формальна специфікація|фо * [[Передумова (формальні методи)]] ...2 КБ (66 слів) - 20:24, 22 лютого 2020
Збіги в текстах сторінок
- ...], яке має виконуватись, якщо було виконано вимоги [[передумова (формальні методи)|передумови]]. Післяумова є складовою частиною [[формальна специфікація|фо * [[Передумова (формальні методи)]] ...2 КБ (66 слів) - 20:24, 22 лютого 2020
- [[Категорія:Формальні методи]] ...2 КБ (33 слова) - 04:47, 2 жовтня 2023
- [[Категорія:Формальні методи]] ...2 КБ (82 слова) - 13:51, 26 червня 2022
- * [[Передумова (формальні методи)|Передумови]] не можуть бути посилені в підтипі. * [[Післяумова (формальні методи)|Післяумови]] не можуть бути послаблені в підтипі. ...10 КБ (376 слів) - 20:54, 20 квітня 2024
- ...разків, що утворюють нескінченну (або дуже велику) множину, користуються [[формальні граматики|формальними граматиками]] і [[регулярні вирази|регулярними вираза | Індексуючі методи ({{lang-en|Index methods}}) ...9 КБ (432 слова) - 13:05, 5 лютого 2023
- ...оду книг [[Бертран Расселл|Рассела]] та [[Альфред Норт Вайтгед|Вайтгеда]] «Формальні системи». Цим формальним системам було пред'явлено певні вимоги. [[Категорія:Формальні методи]] ...17 КБ (197 слів) - 13:13, 3 липня 2024
- ...988, стр. 327-328</ref>. У теорії масового обслуговування використовуються методи теорії ймовірностей та математичної статистики. [[Категорія:Формальні науки]] ...8 КБ (125 слів) - 09:25, 25 березня 2022
- [[Категорія:Формальні методи]] ...8 КБ (516 слів) - 14:41, 30 листопада 2024
- [[Категорія:Формальні методи]] ...8 КБ (215 слів) - 17:09, 8 лютого 2025
- * [[Формальні методи]] ...11 КБ (441 слово) - 20:27, 4 грудня 2021
- [[Категорія:Формальні методи]] ...11 КБ (680 слів) - 15:42, 12 жовтня 2024
- ...ьні обчислення]]), [[Семантика мов програмування|семантика]] і [[Формальні методи|верифікація]] мов програмування, [[Теорія автоматів|теорію автоматів]], а т ...розвиток якого злетів у 1990-ті роки, коли [[Пітер Шор]] показав, що такі методи можуть бути використані для факторіально великого числа за поліноміальний ч ...55 КБ (579 слів) - 10:14, 19 грудня 2023
- ...и займається спеціальна гілка математики — [[теорія доведення]]. Самі формальні докази математики майже ніколи не використовують, оскільки для людського сп == Методи доказів == ...20 КБ (166 слів) - 21:21, 19 січня 2025
- ==Формальні визначення== * [[Методи інтегрування]] ...31 КБ (847 слів) - 12:02, 3 лютого 2025
- ...керування''' ({{lang-en|Control theory}}) — [[наука]] про принципи і методи [[керування]] різними [[система]]ми, [[процес]]ами і [[Об'єкт керування|об' === Методи керування === ...38 КБ (1029 слів) - 11:48, 22 грудня 2024
- ...талізованого проектування та програмування. Один з найстаріших [[формальні методи|формальних методів]], вплинув на розвиток багатьох інших, як [[Z нотація|Z] [[Категорія:Формальні методи]] ...42 КБ (1696 слів) - 13:18, 8 червня 2022
- ...ast1=Синєглазов|first1=Віктор|last2=Чумаченко|first2=Олена|year=2022|title=Методи та технології напівкерованого навчання: Курс лекцій|editor-last1=Бідюк|edit ...|міні|300x300пкс|Схильність завдань використовувати керовані та некеровані методи. Перетин кіл назвами завдань навмисний. Він показує, що класичне відокремле ...36 КБ (1466 слів) - 07:55, 2 лютого 2024
- ...}; {{lang-de|Informatik}}) — [[наука]] про [[Інформація|інформацію]], методи та засоби її опрацювання, у тому числі за допомогою [[Обчислювальні системи * Обчислювальні методи забезпечили можливість практичної оцінки процесів та ситуацій великої склад ...90 КБ (1908 слів) - 09:06, 4 березня 2025
- == Формальні означення == Останнім часом графи і пов'язані з ними методи досліджень органічно пронизують на різних рівнях чи не всю сучасну математи ...45 КБ (1726 слів) - 11:11, 15 березня 2025
- Теорія ігор широко використовує різноманітні математичні методи й результати [[Теорія ймовірностей|теорії ймовірностей]], [[Математичний ан ...я]], або при розгляді біологічної боротьби за існування). Теоретико-ігрові методи прийняття оптимальних рішень в умовах невизначеності можуть мати широке зас ...30 КБ (323 слова) - 21:30, 17 березня 2025