Portable Grammar Format (PGF) is a core language for type-theoretical grammars. It is the target language to which grammars written in the high-level formalism Grammatical Framework (GF) are compiled. Low-level and simple, PGF is easy to reason about, so that its language-theoretic properties can be established. It is also easy to write interpreters that perform parsing and generation with PGF grammars, and compilers converting PGF to other formats. This paper gives a concise description of PGF, covering syntax, semantics, and parser (...) generation. It also discusses the technique of embedded grammars, where language processing tasks defined by PGF grammars are integrated in larger systems. (shrink)

The building of a developed socialist society is a process of shaping a highly advanced system of intellectual life and forming a new human being. Simultaneous with the creation and perfection of a new basis in material technology and social relationships, a process of comprehensive and harmonious development of the socialist personality takes place. On the level of development of the personality we face the task of creating a scientifically valid system of forms and methods of education and training, which (...) requires the implementation of interdisciplinary sociological, pedagogical, ethical, and psychological studies of the process of molding the new human being. (shrink)

Nous voici face à une oeuvre fondamentale qui se situe à une époque charnière de l'État ottoman: le règne de Mehmed II. Comme l'indique le sous-titre, le livre ne se limite pas à la biographie de Mahmud Pacha. L'auteur profite de l'occasion pour nous présenter une grande fresque de l'époque. Nous assistons au développement de la puissance militaire du jeune État ottoman qui se manifeste par d'innombrables conquêtes, mais aussi par le changement des mentalités. Un nouveau concept du pouvoir voit (...) le jour qui définit la position du sultan et instaure un appareil administratif complexe. A la mort de Mehmed II, le monde occidental a dû se rendre à l'évidence: il n'avait plus les moyens de stopper les visées expansionnistes de l'État ottoman. (shrink)