Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем <искусственного интеллекта>. Описываются прим
Математическое творчество
✍ Scribed by Пуанкаре А. (H.Poincare)
- Book ID
- 127397232
- Tongue
- Russian
- Weight
- 14 KB
- Category
- Library
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
В тылу одного из наших фронтов, на территории Западной Белоруссии и Прибалтики, скрываются агенты врага, условно названные нашими контрразведчиками группой "Неман". Найти и обезвредить ее поручено двум опытным офицерам — капитану Алехину и старшему лейтенанту Таманцеву. В романе убедительно показа
Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца) статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием , в частности, появлением многочисленных работ, посвященных ма
Автор книги известен своими работами по применению методов функционального анализа и теории меры к вопросам теории вероятностей. Мастерски написанная книга содержит компактное и в то же время полное изложение оснований теории вероятностей. Включено много полезных дополнений и упражнений. Книга может