|
mp |
существуют ли базы знаний по методам матем.доказательств?  05.08.2008, 16:28 |
|
05/08/08
4
|
|
буду благодарен за ссылку,
если такое бывает
|
|
|
|
 |
|
mp |
нету, что ли... 06.08.2008, 20:48 |
|
05/08/08
4
|
|
тогда начнем с общих.
тривиальные типа модусов-поненсов, тождественных преобразований и подстановок опустим.
менее тривиальные - всякая индукция и введение (или обнаружение) удачного параметра (первое, наверное --- частный случай второго, как и простой перебор).
интересно, бывают ли ещё.
|
|
|
|
|
|
Коровьев |
13.08.2008, 11:27 |
|
| Заслуженный участник |
 |
18/12/07
762
|
|
Есть популярные, в смысле, изложения и читабельности, книги
Д.Пойя.
1."Математика и правдоподобные рассуждения"
2."Математическое открытие.
Пути решения, методы, математическое творчество и многое, многое другое.
Возможно что-то в них и найдётся интересное и для Вас. Поищите книги в инете. Есть там они или нет, не знаю.
|
|
|
|
|
|
maxal |
18.08.2008, 11:07 |
|
| Модератор |
 |
11/01/06
5710
|
|
|
|
|
|
mp |
спасибо за ссылки, но я имел в виду компьютерные базы искусс 20.08.2008, 18:12 |
|
05/08/08
4
|
|
спасибо за ссылки, но я имел в виду компьютерные базы знаний типа MICYN, искусственного интеллекта.
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 5 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
