Дата публикации: 2021-01-13 00:01:17 приурочен к дате: 1997-01-01 Прочие материалы относящиеся к: Дате 1997-01-01Материалы за: Год 1997 Автор: lomasm
В современной теории определимости выделяют две основополагающие идеи: установление равнообъемности синтаксического и семантического понятий определимости для первопорядковых языков и теорий и идея о тесной взаимосвязи между определимостью и выводимостью.