проекти


  1. Об’єднання математичній логіці, теорії обчислюваності і теорії програмування
    Назва проекту: Об’єднання математична логіка, теорія обчислюваності і теорії програмування
    Мета проекту (и): Розробка методологічних принципів і формулювання основних понять інтегрованої теорії;. побудови та дослідження математичних моделей логіка, вичіслімості і програмування різних рівнів абстракції та спільності
    Короткий опис: об’єднання засноване на відомих методологічних принципів розвитку від абстрактного до конкретного та єдності логічного та історичного розвитку. Після цих принципу формального поняття складі номінативних системи визначається і досліджується. Конкретизація такі системи представляють різні формалізми навчався в логіці, вичіслімості та програмування.
    Керівник проекту: Микола С. Нікітченко
    проекту: Степан С. Shkilnyak Тарас В. Панченко Людмила Omel’chuk Вадим Ю.. Винник
    Хід об’єкту: Склад називному логіку різних рівнях абстракції, були визначені і досліджені. Коректність і повнота теореми. Поняття абстрактне обчислюваною був визначений. Повні класи вичіслімих функцій різних рівнів абстракції були описані. Формальні семантико-синтаксичної моделі специфікації та мови програмування були визначені і досліджені. Більше 30 робіт були опубліковані.
    застосування: розвитку програми та перевірки, вимога захоплення. Нові навчальні курси в галузі математичної логіки, вичіслімості та програмування.
  2. САД
    Назва проекту: система для автоматичного відрахування (САД)
    Мета проекту (и): автоматизації математичних відрахувань до різних областях
    Короткий опис: Одночасне розслідування формалізованих мов для подання математичних текстів у формі, найбільш підходящим для користувачів, формалізації та еволюційного розвитку комп’ютерних зробив крок докази,EA інформаційного середовища, що впливають на сучасні дані комп’ютерного виробництва доказ крок, і інтерактивний людина-помічник пошуку доказів.
    Керівник проекту: Олександр Володимирович Lyaletski (Київський національний університет)
    проекту: Костянтин П. Verchinine (Universite Paris-XII Валь-де-Марн) Андрій (Андрій) Ю.. Паскевич (Київський національний університет) Олександр А. Lyaletsky (мол.) (Київський національний університет)
    Хід об’єкту: перша версія готова. Ви можете спробувати його на http://ea.unicyb.kiev.ua . Тепер користувальницький інтерфейс і підтримка різних мов механізму розробки
    застосування: Деякі програми САД є:

    • розподілених автоматизованих докази теорем
    • верифікації математичних текстів
    • дистанційного навчання в математичних дисциплін
    • будівництво баз даних для математичних теорій
  3. Бекон
    Назва проекту: Композиція-називному програмного забезпечення Мови підтримки
    Мета проекту (и): Розробка програмних засобів для Склад називному Мови (CNL)
    Короткий опис: Є розробки програмних засобів для підтримки не менше трьох CNL:

    • Бекон (Основні CNL)
    • DECON (Описова CNL = Бекон + описові вирази нових складів через основні з них)
    • Recon (Рекурсивні CNL = DECON + рекурсивного вираження нових складів через основні з них)
    Керівник проекту: Тарас В. Панченко
    проекту: Ігор Юрійович. Ткачук
    Хід об’єкту: беконом і DECON знаходяться в бета-версії стадії тестування
    застосування: Інструменти, розроблені можуть бути використані для формального розробці програмного забезпечення, вимоги до опису, програмних систем докази коректності та верифікації програмного забезпечення властивостей
Новини
Дошка оголошень
Цікаві факти