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

'''ЧЕВ''' використовується, в основному, в галузі [[інформатика|інформатики]], теорії типів і конструктивної математики. ...

[[Категорія:Галузі інформатики]] ...

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

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

...ченого відомого досягненнями в галузі [[Теоретична інформатика|теоретичної інформатики]]. ...

{{!}} {{Державна премія України в галузі науки і техніки|2005}} ...премії України в галузі науки і техніки (2005)|Державної премії України в галузі науки і техніки 2005 року]]<ref>За цикл монографій «Розробка нових математи ...

...])&nbsp;— [[Нідерланди|нідерландський]] математик, відомий дослідженнями в галузі [[Теорія графів|теорії графів]], [[Автоматизоване доведення теорем|автомати ...а де Брейна]]). Праці кінця 1960-х&nbsp;— початку 1970 років зосереджені в галузі [[Автоматизоване доведення теорем|автоматичного доведення]]&nbsp;— розробле ...

...граф|планарних графах]]. Метод названо ім'ям американської вченої в галузі інформатики {{Не перекладено|Бренда Сью Бейкер|Бренды Бейкер|en|Brenda Baker}}, яка пов ...

...альної академії наук України]]. У [[2009]]&nbsp;р. за видатні результати в галузі математики, теоретичної фізики та механіки присуджена Золота медаль імені М ...ики ([[1986]]–[[1990]]), головою Експертної ради з математики, механіки та інформатики Російського фонду фундаментальних досліджень (РФФД) ([[1993]]–[[1998]]). Го ...

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

| header = Фундаментальні галузі інформатики Основне завдання інформатики полягає в тому, щоб визначити класи задач та типи процесів, які можна автом ...

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

Від 1983 року був провідним фахівцем у галузі [[Теорія чисел|теорії чисел]] в СРСР і Росії, і завідувачем відділу теорії == Ранні праці з інформатики == ...

...Список піонерів в галузі інформатики|покоління засновників]] [[Інформатика|інформатики]], [[Едсгер Дейкстра]] за дошкою під час конференції в [[Федеральна вища те ...

...ебри]], такі як [[Mathematica]], хоча пишуться і специфічні для конкретної галузі програми, щоб атакувати проблеми, для вирішення яких потрібна висока ефекти ** У галузі релятивістської [[Гравітаційна задача N тіл|механіки декількох тіл]], а сам ...

...був кваліфікацію магістра з прикладної математики, викладача математики та інформатики. * Основи інформатики і обчислювальної техніки ...

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

...р використовувалися вірменські літери. Одним з перших вірменських вчених в галузі математики вважається найбільший учений VII століття Ананія Ширакаці. Він б ...апрямку в математиці{{sfn|Петросян|1960|loc=|с=9|name=}}. Значний внесок в галузі математичної освіти кінця XI початку XII століття має [[Ованес Імастасер]] ...

* [[Прозорість посилань (інформатика)|Прозорість посилань]] в галузі інформатики ...

...]] [[Інформатика|учений в галузі інформатики]], [[професор]] [[Інформатика|інформатики]] [[Бристольський університет|Бристольського університету]], засновник і [[ ...