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

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




 существуют ли базы знаний по методам матем.доказательств?
буду благодарен за ссылку,
если такое бывает

 нету, что ли...
тогда начнем с общих.

тривиальные типа модусов-поненсов, тождественных преобразований и подстановок опустим.

менее тривиальные - всякая индукция и введение (или обнаружение) удачного параметра (первое, наверное --- частный случай второго, как и простой перебор).

интересно, бывают ли ещё.

 
Аватара пользователя
Есть популярные, в смысле, изложения и читабельности, книги
Д.Пойя.
1."Математика и правдоподобные рассуждения"
2."Математическое открытие.

Пути решения, методы, математическое творчество и многое, многое другое.
Возможно что-то в них и найдётся интересное и для Вас. Поищите книги в инете. Есть там они или нет, не знаю.

 
Аватара пользователя
Свежая статья в The New Yorker: The Eureka Hunt.

 спасибо за ссылки, но я имел в виду компьютерные базы искусс
спасибо за ссылки, но я имел в виду компьютерные базы знаний типа MICYN, искусственного интеллекта.

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


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