𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Правила вывода с метапеременными и логические уравнения в предтабличной модальной логике PM1

✍ Scribed by Кияткин В. Р.


Book ID
127405306
Year
2000
Tongue
Russian
Weight
368 KB
Series
Сибирский математический журнал, т. 41 (2000), № 1, с. 88-97
Category
Library

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Введение в прикладное дискретное програм
✍ Сигал И.Х., Иванова А.П. 📂 Library 📅 2002 🌐 Russian ⚖ 2 MB

Излагаются современные комбинаторные алгоритмы для решения задач дискретной оптимизации с применением компьютерных средств. Рассматриваются: особенности задач дискретной оптимизации и их общие свойства; алгоритмы гарантированного функционирования; алгоритмы типа ; комбинированные алгоритмы различных

Введение в прикладное дискретное програм
✍ И. Х. Сигал, А. П. Иванова 📂 Library 📅 2003 🏛 Физматлит 🌐 Russian ⚖ 2 MB

Излагаются современные комбинаторные алгоритмы для решения задач дискретной оптимизации с применением компьютерных средств. Рассматриваются: особенности задач дискретной оптимизации и их общие свойства; алгоритмы гарантированного функционирования; алгоритмы типа `greedy`; комбинированные алгоритмы р

тате гигантски ускорились международное
✍ Красавина Л.Н.(ред.) 📂 Library 📅 2003 🏛 Финансы и статистика 🌐 Russian ⚖ 418 KB

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

Практическая характерология с элементами
📂 Standards 📅 2006 🏛 Феникс 🌐 Russian ⚖ 96 KB

Книга представляет собой психологическое исследование (диагностику) основных групп человеческих качеств в структуре реального характера. Автор предлагает методику «семь радикалов», ставшую результатом преломления общепринятой теории характера через собственный профессиональный опыт. Представлены сем