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

✍ Семёнов А.Л. 📂 Library 📅 2002 🌐 Russian ⚖ 311 KB

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

Математическая логика и автоматическое д

Математическая логика и автоматическое доказательство теорем

✍ Чень Ч., Ли Р. 📂 Library 📅 1983 🌐 Russian ⚖ 4 MB

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

Наука математика и искусство математиков

✍ Арнольд В.И. 📂 Library 📅 2008 🏛 МГУ 🌐 Russian ⚖ 609 KB

Детективное агентство кота Макса

📂 Standards 📅 2015 🏛 Клуб Семейного Досуга 🌐 Russian ⚖ 760 KB

Увлекательные, невероятные и оччччень небезопасные приключения шефа детективного агентства кота Макса и его верных помощников – кролика Пини и лягушки Лизы! Коварный банкир Даг вместе с главарем банды Опрокинутым проворачивают свои темные делишки. Но отважные сыщики выведут преступников на чистую во

Открытие математика Матвеева

📂 Standards 🌐 Russian ⚖ 91 KB

Математические основания квантовой стати

Математические основания квантовой статистики

✍ Хинчин А.Я. 📂 Library 📅 1951 🏛 ГИТТЛ 🌐 Russian ⚖ 4 MB

Книга выдающегося отечественного математика А.Я.Хинчина (1894 - 1959) посвящена вопросам построения математических основ квантовой статистики. В первых главах даются изложение и полное доказательство предельных теорем теории вероятностей, использованных в основных разделах книги, и необходимые сведе