При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.
1968 г.; Изд-во: Berlin: VEB Deutcher Verlag der Wissenschaften
Das vorliegende Werk verbindet Allgemeinheit der Darstellung mit leichter Verstandlichkeit der Entwieklungen. Dies wurde dadurch erreicht, das der Verfasser einerseits die Ideen Bourbakis zu weitestgehender Allgemeinheit der Vektor- und Tensorrechnung ...
1800 руб
Ebbinghaus, Heinz-Dieter; Flum, Jorg; Thomas, Wolfgang
Das Hauptanliegen der mathematischen Logik - die Untersuchung des mathematischen Beweisbegriffs - wird im Rahmen der sog. Sprache erster Stufe behandelt. Um die Tragweite der Ergebnisse zu beleuchten, wird anhand eines mengentheoretischen Aufbaus der M...
1997 г.; Изд-во: Bern; Berlin; Frankfurt a. M.; New York; Paris; Wien: Peter Lang
Inhaltsverzeichnis
Vorwort
I nhaltsverzeichnis
I. Teil: Aussagenlogik
Einleitung
Die formale Sprache der Aussagenlogik und Schlusschemata
Regeln fur das Konditional und die Negation
Regeln fur die Konjunktion und die Disjunktion
Das Bikonditiona...
Dieses Buch entstand aus Aufzeichnungen, die ich fUr die Horer einer Vorlesung im Jahre 1967/68 in Kiel angefertigt hatte. Angesichts der rasch wachsenden Anwendung der kategoriellen Sprache setzt es sich das Ziel, in den zentralen Teil der Theorie ein...
Серия: Математическое обеспечение ЭВМ 1978 г.; Изд-во: М.: Советское радио
Излагаются методы макрогенерации, конечной целью которой можно считать введение новых операций с различным числом операндов. Обеспечиваемая при макрогенерации открытая подстановка подпрограмм способствует ускорению вычислений, так как при этом исчезает...
В книге описывается разработанная автором интегрированная система, способная производить грамматический разбор сообщений на естественном языке, интерпретировать их смысл, отвечать на вопросы и выполнять приказания. Описываемая система, испытанная на мо...
В монографии с единых позиций излагаются результаты теоретических и прикладных исследований по построению быстрых алгоритмов и доказательству их отсутствия. Рассмотрены задачи перебора, упорядочения массивов данных, умножения чисел, умножения матриц; о...
Серия: Научно-популярная библиотека атомиздата 1965 г.; Изд-во: М.: Госатомиздат
перевод с английского С.С. Родина и В.М. Сахарова
под редакцией доктора химических наук А.К.Лаврухиной
автор книги - известный ученый, выдающийся американский химик, участвовавший в открытии 9 трансурановых элементов из 11, лауреат Нобелевской премии...
В монографии рассматривается новое научное направление и новое направление менеджмента организаций – "Управление знаниями". Анализируется процесс работы со знаниями, описываются технологии, методы и формы работы с явными и неявными знаниями. Возникающи...
Рассмотрен вопрос управления, навигации и стабилизации космического летательного аппарата; обсуждаются перспективы развития систем управления для космических исследований. Изучаются вопросы динамики систем управления движением космических объектов в ра...
В труде специалиста из ФРГ рассмотрены современные методы расчета и проектирования цифровых систем управления с детерминированными и случайными возмущениями. Значительное внимание уделено теории многосвязных и адаптивных систем управления. Для специали...
В труде специалиста из ФРГ рассмотрены современные методы расчета и проектирования цифровых систем управления с детерминированными и случайными возмущениями. Значительное внимание уделено теории многосвязных и адаптивных систем управления. Для специали...
1780 руб
1800 руб
430 руб
wowik
RU/70)
