Едиториал УРСС


Книги издательства1439

 

Нет в продаже




 

Нет в продаже


 

Нет в продаже


 

Нет в продаже


 

Нет в продаже


 

Нет в продаже






 

Нет в продаже


 

Нет в продаже


 

Нет в продаже






 

Нет в продаже



 

Нет в продаже




 

Нет в продаже

Автоматизированное построение математических теорий

А.А. Люксембург

Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка. Объектами системы являются математические...