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

...[[Єршов Андрій Петрович|А. П. Єршов]] та інші. Сам схемний підхід до опису програм започаткував [[Ляпунов Олексій Андрійович|О. А. Ляпунов]] (операторні схеми == Теорія схем програм == ...

...ми [[GERT]] застосовуються для [[моделювання]] промислових комплексів, для дослідження ймовірносно-часових характеристик [[Локальні обчислювальні мережі|локальних * Дослідження стохастичного поведінки послідовних і паралельних програм; ...

'''Метод порошкової дифракції''' — метод дослідження структурних характеристик матеріалу за допомогою [[Дифракція|дифракції]] [[ ...а в усіх напрямках. Внаслідок цього на відміну від методу монокристалу, де дослідження ведеться у трьох напрямках [[Обернена ґратка|оберненої ґратки]] у методу по ...

...гічних правил для строгого доведення {{нп|коректність програми|коректності програм||Correctness (computer science)}}. Запропонована в 1969 британським інформа В 70-х роках на базі роботи Гоара починаються дослідження в області [[аксіомні визначення мов програмування|аксіомних визначень мови ...

[[Категорія:Дослідження програм]] ...

...Складні спеціалізовані алгоритми вимагають більше зусиль по [[Налагодження програм|налагодженню]] і збільшують ймовірність помилок. У [[дослідження операцій|дослідженні операцій]], оптимізація — це проблема визначення ...

...фізму довільних графів, так і графів особливих видів, а також теоретичного дослідження її [[Теорія складності обчислень|складності обчислення]]. ...тронних схем (перевірка різних представлень електронних схем), оптимізації програм (вирізнення загальних підвиразів). ...

...тистичних технік, що часто використовують в інформаційній візуалізації для дослідження схожості та відмінності у даних. БШ є особливим видом розміщення. БШ будуєт Дослідження Найменшого вимру Луїза Гатмена є прикладом неметричної БШ процедури. ...

...рного визначення 90% траєкторій. Подальше дослідження вивчало унікальність програм, встановлених людьми на своїх смартфонах,<ref name="smartphones">{{cite jou ...

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

...для визначення декларативних семантик для [[Логічне програмування|логічних програм]] із [[Заперечення як відмова|запереченням як відмовою]]. Це один із декіль Дослідження декларативних семантик заперечення в логічному програмуванні спонукав той ф ...

...інний папір)|акцій]]. Внутрішня норма прибутку є корисною також при оцінці програм викупу власних акцій — аналіз повинен показати, що викуп власних акцій є пр У випадку дослідження проєктів які вимагають лише початкових витрат, а в наступні періоди досягаю ...

...що [[філософія науки]] і методи, які відповідають задачі вивченню простих програм, мають відношення до інших галузей науки. ...их правил&nbsp;— по суті, елементарних [[Комп'ютерна програма|комп'ютерних програм]]. Практично в будь-якому класі обчислювальної системи можна зіткнутися зі ...

...не детерміністською в тому сенсі, що вона не визначає стратегію пошуку для дослідження дерева пошуку. Пролог шукає деревом [[Пошук у глибину|в глибину]], по одній ...о'', в якому різні гілки представляють альтернативні обчислення. У випадку програм логіки висловлень ВЛВ може бути узагальнено так, що простір пошуку стає {{н ...

== Методи теоретичного дослідження фотонних кристалів, чисельні методи та програмне забезпечення == ...алітично і чисельно, але саме чисельні методи рішення використовуються для дослідження властивостей фотонних кристалів найчастіше через їх доступність та легке на ...

...ворюють лобовий удар легкових автомобілів (Хауг, 1986). Коли час виконання програм вже не перевищував одного дня, інженери мали змогу робити ефективні та прог Краш-моделювання використовується для дослідження безпеки автомобіля і пасажирів під час впливу на передню частину конструкці ...

...термін «реактивне програмування» стосується архітектурного рівня розробки програм, де окремі вузли в графі потоку даних є звичайними програмами, які взаємоді ...зробити реактивне програмування дуже вимогливим до об'єму пам'яті. Проте, дослідження, що називається "зниженням", має потенціал вирішити цю проблему.<ref>{{Cite ...

== Дослідження у психології == ..."BarbeySloman2007">{{cite doi|10.1017/S0140525X07001653}}</ref> Дослідники програм з вивчення евристики та упереджень наголошують, що емпіричні свідчення пока ...

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

...печували адекватність результатів проектування. Досвід використання перших програм та систем автоматизованого проектування радіоелектронної апаратури (РЕА), я ...метричних кіл є питання стійкості цих кіл. Не вчасно чи не вдало проведене дослідження стійкості проектованого пристрою може завдати неоправданих втрат часу та зв ...