|
Книга ID: 1329
Анализ и методы доказательного программирования в конструктивных логиках : автореферат дис. ... доктора физико-математических наук : 05.13.11;01.01.06 АН СССР. Сиб. отд-ние. ВЦ.
Тематика, ключевые слова:
Математическое и программное обеспечение вычислительных машин, комплексов, систем и сетей.
Математическая логика, алгебра и теория чисел.
Сведения об издании:
Новосибирск 1988
37 с.
Язык:
rus
Аннотация:
В автореферате диссертации Николая Непейводы на тему доказательного программирования в конструктивных логиках, представленном в 1988 году, мы находимся на пороге новой эры в математическом и программном обеспечении вычислительных машин, комплексов, систем и сетей. Автор использует математическую логику, алгебру и теорию чисел для разработки методов доказательства программа...
|
|
