Скачать книгу - Mivar NETs and logical inference with the linear complexity
MIVAR: Transition from Productions to Bipartite Graphs MIVAR Nets and Practical Realization of Automated Constructor of Algorithms Handling More than Three Million Production Rules. The theoretical transition from the graphs of production systems to the bipartite graphs of the MIVAR nets is shown. Examples of the implementation of the MIVAR nets in the formalisms of matrixes and graphs are given. The linear computational complexity of algorithms for automated building of objects and rules of the MIVAR nets is theoretically proved. On the basis of the MIVAR nets the UDAV software complex is developed, handling more than 1.17 million objects and more than 3.5 million rules on ordinary computers. The results of experiments that confirm a linear computational complexity of the MIVAR method of information processing are given.


Археологическое наследие Беларуси. Archaeological Heritage of Belarus Археологическое наследие Беларуси. Archaeological Heritage of Belarus

Автор: Группа авторов

Год издания: 

Издание подготовлено по материалам, хранящимся в научных археологических фондах и представленным в археологической научно-музейной экспозиции Института истории НАН Беларуси. Содержит уникальные экспонаты, переданные учеными Института истории и исследователями, работающими в сфере образования и культуры, в государственные и ведомственные музейные экспозиции страны. Включает материалы, хранящиеся в музеях Минска, Полоцка, Витебска, Могилева, Гомеля, Гродно, Орши, Толочина, Шклова, Ветки и других населенных пунктов. Знакомит с материалами, раскрывающими богатство и своеобразие культуры белорусских земель с глубокой древности и до конца XVIII в., а также отображает весь спектр хозяйственно-производственной деятельности, быта, культурной и духовной жизни людей, населявших территорию нашей страны в разные эпохи, их связи с окружающим миром. Предназначена для научных работников, преподавателей учебных заведений, сотрудников музеев и всех, кто интересуется краеведением.


A view of China, for philological purposes A view of China, for philological purposes

Автор: Robert Morrison

Год издания: 

Полный вариант заголовка: «A view of China, for philological purposes : Containing a sketch of Chinese chronology, geography, government, religion & customs designs for the use of persons who study the Chinese language / By R. Morrison».


The theological and philological works of the late Mr. John Toland The theological and philological works of the late Mr. John Toland

Автор: John Toland

Год издания: 

Полный вариант заголовка: «The theological and philological works of the late Mr. John Toland : being a system of Jewish, Gentile and Mahomatan Christianity».


The Organon, or Logical treatises of Aristotle The Organon, or Logical treatises of Aristotle

Автор: Aristoteles

Год издания: 

Примечание: Органон. Полный вариант заголовка: «The Organon, or Logical treatises of Aristotle / transl. from the Greek, with copious elucidations, from the commentaries of Ammonius and Simplicius, by Thomas Taylor».


Etymological dictionary of the latin language Etymological dictionary of the latin language

Автор: Francis Valpy

Год издания: 

Примечание: Этимологический словарь латинского языка. Полный вариант заголовка: «Etymological dictionary of the latin language / by the Rev. F.J. Valpy, A.M.».