𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Математическое творчество

✍ 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

Математическая логика и автоматическое д
Математическая логика и автоматическое доказательство теорем
✍ Чень Ч., Ли Р. 📂 Library 📅 1983 🌐 Russian ⚖ 4 MB

Книга посвящена детальному изложению всего круга проблем, связанных с так называемым методом резолюций. Этот метод наиболее известен и широко используется в современных работах по доказательству на ЭВМ математических теорем и вообще при построении систем <искусственного интеллекта>. Описываются прим

Момент истины (В августе сорок четвертог
Момент истины (В августе сорок четвертого): = В августе сорок четвертого
📂 Standards 📅 1973 🏛 “Детская литература” (1933-1963 Детгиз) 🌐 Russian ⚖ 292 KB

В тылу одного из наших фронтов, на территории Западной Белоруссии и Прибалтики, скрываются агенты врага, условно названные нашими контрразведчиками группой "Неман". Найти и обезвредить ее поручено двум опытным офицерам — капитану Алехину и старшему лейтенанту Таманцеву. В романе убедительно показа

Математическая теория логического вывода
Математическая теория логического вывода [сборник переводов статей]
✍ Идельсон А.В., Минц Г.Е. (ред.) 📂 Library 📅 1967 🏛 Наука 🌐 Russian ⚖ 3 MB

Эта книга представляет собой сборник переводов (единственное исключение составляет статья Г. Е. Минца) статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием , в частности, появлением многочисленных работ, посвященных ма

Математические основы теории вероятносте
Математические основы теории вероятностей
✍ Невё Ж. 📂 Library 📅 1969 🌐 Russian ⚖ 3 MB

Автор книги известен своими работами по применению методов функционального анализа и теории меры к вопросам теории вероятностей. Мастерски написанная книга содержит компактное и в то же время полное изложение оснований теории вероятностей. Включено много полезных дополнений и упражнений. Книга может