Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування, 2006, № 2-3 за автором "Провотар, О.І."

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2006, № 2-3 за автором "Провотар, О.І."

Сортувати за: Порядок: Результатів:

  • Про локальну коректність формальних визначень 
    Провотар, О.І. (2006)
    Аналізується діагональна процедура Кантора і приводяться приклади доведення теорем, що її використовують. Досліджують- ся питання коректності таких доведень і наслідки в теорії обчислень.

Пошук


Розширений пошук

Перегляд

Мій обліковий запис