Математическая логика, основанная на теории типов

Влияние переменного магнитного поля на о

Влияние переменного магнитного поля на остаточное состоя ние магнитно — Мягких материалов

✍ Vladimír Hajko; Juraj Daniel-Szabó 📂 Article 📅 1959 🏛 Springer 🌐 English ⚖ 830 KB

Индикативное планирование как основа стр

Индикативное планирование как основа стратегического развития промышленного предприятия. Монография

✍ Агапцов С.А., и др. 📂 Library 📅 2002 🏛 Высшая школа 🌐 Russian ⚖ 171 KB

В монографии в доступной форме рассматривается основной круг вопросов финансового управления промышленными предприятиями в условиях трансформации российской экономики. В ней изложены сущность, цели и функции планирования производственно-хозяйственной деятельности хозяйствующего субъекта, рассмотрены

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

Теория вероятностей и математическая статистика: учеб. для студентов высш. пед. учеб. заведений, обучающихся по направлению ''Естественнонауч. образование'' и специальностям ''Математика'', ''Физика'', ''Химия'', ''Биология'' и ''География''

✍ Баврин И.И. 📂 Library 📅 2005 🏛 Высш. шк 🌐 Russian ⚖ 2 MB

Изложены основы теории вероятностей и математической статистики в приложении к физике, химии, биологии, географии, экологии, приведены упражнения для самостоятельной работы Все основные понятия и положения иллюстрируются разобранными примерами и задачами

Медико-социальные аспекты первичной инва

Медико-социальные аспекты первичной инвалидности в связи с заболеваниями опорно-двигательного аппарата(Диссертация)

✍ Калинин В.М. 📂 Library 📅 2003 🌐 Russian ⚖ 7 MB

Математическая логика в программировании

Математическая логика в программировании [Сборник переводов статей]

✍ Захарьящев М.В., Янов Ю.И. (ред) 📂 Library 📅 1991 🏛 Мир 🌐 Russian ⚖ 6 MB

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

Сборник материалов по истории предков ца

Сборник материалов по истории предков царя Михаила Феодоровича Романова. Генеалогический и исторический материал по печатанным источникам. Часть 01

📂 Standards 📅 1898 ⚖ 427 KB

Родословная рода Захарьиных-Юрьевых-Романовых, составленная Н.Н.Селифонтовым по материалам Н.П.Сахарова. Сборник является классическим справочником по истории дома Романовых, крайне полезен для тех, кто занимается биографическими и родословными исследованиями. Также данный сборник будет интересен вс