2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 О переводе на русский Handbook of Automated Reasoning
Сообщение13.08.2015, 15:24 
Агитирую перевести на русский язык -
Handbook of Automated Reasoning
by J. Alan Robinson (Editor), Andrei Voronkov (Editor)
ps имеется в электронном виде

 
 
 
 Re: О переводе на русский Handbook of Automated Reasoning
Сообщение13.08.2015, 18:10 
Аватара пользователя
alex_dorin в сообщении #999615 писал(а):
Агитирую перевести на русский язык

Как-то неубедительно агитируете, не объясняете, чем хороша эта книга, какая у нее аудитория, почему ее стоит читать и кто выиграет от е перевода (исключая тех, у кого копирайт). Или ну хотя бы, вот так
Цитата:
Гей, ребята, все в поля
Для охоты на
Коня!
Лейся, песня, взвейся, голос.
Рвите ценный конский волос!

 
 
 
 Re: О переводе на русский Handbook of Automated Reasoning
Сообщение13.08.2015, 22:39 
Автор - А. И. Воронков - создатель самого мощного логического прувера первопорядковой логики Vampire.
Освещаются методы понижения сложности поиска доказательства проблемы.
Русскоязычная терминология в этой области фактически прекратила существование 30 лет назад.

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group