Kirjojen hintavertailu. Mukana 11 699 587 kirjaa ja 12 kauppaa.
Kirja.info

Kirjahaku

Etsi kirjoja tekijän nimen, kirjan nimen tai ISBN:n perusteella.

1000 tulosta hakusanalla Gabriel Alexander

Le meneur de loups.: en supplement: Gabriel Lambert.

Le meneur de loups.: en supplement: Gabriel Lambert.

Alexandre Dumas

Createspace Independent Publishing Platform
2014
nidottu
R sum Les amateurs de romans fantastiques seront sans nul doute heureux de (re)d couvrir cet excellent r cit de Alexandre Dumas. Une fois par an, le Diable se r incarne sur terre sous la forme d'un loup noir. Dans son enveloppe mortelle, le Diable est vuln rable. En cette ann e 1780, pourchass par la meute du seigneur Jean, le loup noir trouve refuge dans la cabane du pauvre sabotier Thibault. Ce-dernier, une fois sa peur surmont e, accepte de passer un pacte avec le Diable qui lui promet que chaque fois que quelqu'un lui souhaitera du mal, son voeu sera exauc . En change, le Diable pr l vera un cheveu sur la t te du sabotier. Tr s vite, Thibault se retrouve prisonnier d'une spirale infernale qui va le contraindre vivre avec les loups dans la for t.
Vertaile hintoja
Foundations of Finitely Supported Structures

Foundations of Finitely Supported Structures

Andrei Alexandru; Gabriel Ciobanu

Springer Nature Switzerland AG
2020
sidottu
This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures. It analyzes whether a classical result can be adequately reformulated by replacing a 'non-atomic structure' with an 'atomic, finitely supported structure’. It also presents many specific properties, such as finiteness, cardinality, connectivity, fixed point, order and uniformity, of finitely supported atomic structures that do not have non-atomic correspondents. In the framework of finitely supported sets, the authors analyze the consistency of various forms of choice and related results. They introduce and study the notion of 'cardinality' by presenting various order and arithmetic properties. Finitely supported partially ordered sets, chain complete sets, lattices and Galois connections are studied, and new fixed point, calculability and approximation properties are presented. In this framework, the authors study the finitely supported L-fuzzysubsets of a finitely supported set and the finitely supported fuzzy subgroups of a finitely supported group. Several pairwise non-equivalent definitions for the notion of 'infinity' (Dedekind infinity, Mostowski infinity, Kuratowski infinity, Tarski infinity, ascending infinity) are introduced, compared and studied in the new framework. Relevant examples of sets that satisfy some forms of infinity while not satisfying others are provided. Uniformly supported sets are analyzed, and certain surprising properties are presented. Finally, some variations of the finite support requirement are discussed. The book will be of value to researchers in the foundations of set theory, algebra and logic.
Vertaile hintoja
Foundations of Finitely Supported Structures

Foundations of Finitely Supported Structures

Andrei Alexandru; Gabriel Ciobanu

Springer Nature Switzerland AG
2021
nidottu
This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures. It analyzes whether a classical result can be adequately reformulated by replacing a 'non-atomic structure' with an 'atomic, finitely supported structure’. It also presents many specific properties, such as finiteness, cardinality, connectivity, fixed point, order and uniformity, of finitely supported atomic structures that do not have non-atomic correspondents. In the framework of finitely supported sets, the authors analyze the consistency of various forms of choice and related results. They introduce and study the notion of 'cardinality' by presenting various order and arithmetic properties. Finitely supported partially ordered sets, chain complete sets, lattices and Galois connections are studied, and new fixed point, calculability and approximation properties are presented. In this framework, the authors study the finitely supported L-fuzzysubsets of a finitely supported set and the finitely supported fuzzy subgroups of a finitely supported group. Several pairwise non-equivalent definitions for the notion of 'infinity' (Dedekind infinity, Mostowski infinity, Kuratowski infinity, Tarski infinity, ascending infinity) are introduced, compared and studied in the new framework. Relevant examples of sets that satisfy some forms of infinity while not satisfying others are provided. Uniformly supported sets are analyzed, and certain surprising properties are presented. Finally, some variations of the finite support requirement are discussed. The book will be of value to researchers in the foundations of set theory, algebra and logic.
Vertaile hintoja
Finitely Supported Mathematics

Finitely Supported Mathematics

Andrei Alexandru; Gabriel Ciobanu

Springer International Publishing AG
2016
sidottu
In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-Mostowski (FM) permutative model of Zermelo-Fraenkel (ZF) set theory with atoms and to the theory of (generalized) nominal sets. More exactly, FSM is ZF mathematics rephrased in terms of finitely supported structures, where the set of atoms is infinite (not necessarily countable as for nominal sets). In FSM, 'sets' are replaced either by `invariant sets' (sets endowed with some group actions satisfying a finite support requirement) or by `finitely supported sets' (finitely supported elements in the powerset of an invariant set). It is a theory of `invariant algebraic structures' in which infinite algebraic structures are characterized by using their finite supports. After explaining the motivation for using invariant sets in the experimental sciences as well as the connections with the nominal approach, admissible sets and Gandy machines (Chapter 1), the authors present in Chapter 2 the basics of invariant sets and show that the principles of constructing FSM have historical roots both in the definition of Tarski `logical notions' and in the Erlangen Program of Klein for the classification of various geometries according to invariants under suitable groups of transformations. Furthermore, the consistency of various choice principles is analyzed in FSM. Chapter 3 examines whether it is possible to obtain valid results by replacing the notion of infinite sets with the notion of invariant sets in the classical ZF results. The authors present techniques for reformulating ZF properties of algebraic structures in FSM. In Chapter 4 they generalize FM set theory by providing a new set of axioms inspired by the theory of amorphous sets, and so defining the extended Fraenkel-Mostowski (EFM) set theory. In Chapter 5 they define FSM semantics for certain process calculi (e.g., fusion calculus), and emphasize the links to the nominal techniques used in computer science. They demonstrate a complete equivalence between the new FSM semantics (defined by using binding operators instead of side conditions for presenting the transition rules) and the known semantics of these process calculi. The book is useful for researchers and graduate students in computer science and mathematics, particularly those engaged with logic and set theory.
Vertaile hintoja
Finitely Supported Mathematics

Finitely Supported Mathematics

Andrei Alexandru; Gabriel Ciobanu

Springer International Publishing AG
2018
nidottu
In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-Mostowski (FM) permutative model of Zermelo-Fraenkel (ZF) set theory with atoms and to the theory of (generalized) nominal sets. More exactly, FSM is ZF mathematics rephrased in terms of finitely supported structures, where the set of atoms is infinite (not necessarily countable as for nominal sets). In FSM, 'sets' are replaced either by `invariant sets' (sets endowed with some group actions satisfying a finite support requirement) or by `finitely supported sets' (finitely supported elements in the powerset of an invariant set). It is a theory of `invariant algebraic structures' in which infinite algebraic structures are characterized by using their finite supports. After explaining the motivation for using invariant sets in the experimental sciences as well as the connections with the nominal approach, admissible sets and Gandy machines (Chapter 1), the authors present in Chapter 2 the basics of invariant sets and show that the principles of constructing FSM have historical roots both in the definition of Tarski `logical notions' and in the Erlangen Program of Klein for the classification of various geometries according to invariants under suitable groups of transformations. Furthermore, the consistency of various choice principles is analyzed in FSM. Chapter 3 examines whether it is possible to obtain valid results by replacing the notion of infinite sets with the notion of invariant sets in the classical ZF results. The authors present techniques for reformulating ZF properties of algebraic structures in FSM. In Chapter 4 they generalize FM set theory by providing a new set of axioms inspired by the theory of amorphous sets, and so defining the extended Fraenkel-Mostowski (EFM) set theory. In Chapter 5 they define FSM semantics for certain process calculi (e.g., fusion calculus), and emphasize the links to the nominal techniques used in computer science. They demonstrate a complete equivalence between the new FSM semantics (defined by using binding operators instead of side conditions for presenting the transition rules) and the known semantics of these process calculi. The book is useful for researchers and graduate students in computer science and mathematics, particularly those engaged with logic and set theory.
Vertaile hintoja
Estudo de técnicas para a melhoria de soldas subaquáticas molhadas

Estudo de técnicas para a melhoria de soldas subaquáticas molhadas

Gabriel Mendes de Almeida Carvalho; Alexandre Bracarense; Ezequiel Caires Pereira Pessoa

Novas Edicoes Academicas
2018
pokkari
As estruturas utilizadas no segmento offshore, como navios e plataformas, s o projetadas para resistirem aos mais diversos esfor os, mantendo-se ntegras e sobretudo seguras. Para atenderem essas necessidades por mais tempo preciso que a manuten o realizada sobre as mesmas mantenha as propriedades mec nicas exigidas. A soldagem molhada com eletrodo revestido (SMER) devido ao seu baixo custo em rela o outros processos, sua versatilidade em trabalho e por j alcan ar resultados de boa qualidade tem sido vastamente utilizada. Um dos principais problemas a perda de ductilidade de regi es aquecidas adjacentes solda ou a zona termicamente afetada (ZTA) pois devido ao r pido resfriamento inerente do processo molhado, uma microestrutura de alta dureza e baixa tenacidade gerada. Nesta obra ser o estudadas as t cnicas de "esmerilhamento do refor o cada passe" e "invers o no sentido de soldagem" na melhoria da dureza em soldas multipasses molhadas. Esta obra uma disserta o de mestrado apresentada em 11/2017 na UFMG. Agradecimentos ao LRSS, ao PPGMEC, CAPES e PETROBRAS.
Vertaile hintoja
LAD - Uma plataforma educacional

LAD - Uma plataforma educacional

Gabriel Silva; Alexandre Maciel

Novas Edicoes Academicas
2021
nidottu
Este trabalho prop e um dashboard (LAD) ​ para an lise de dados a partir dos resultados de minera o de dados educacionais, atrav s da predi o do desempenho de alunos, cujo objetivo geral a cria o de um mecanismo de visualiza o que pretende permitir aos professores identificar os alunos dos quais o desempenho predito n o satisfat rio, fornecendo informa es relativas trajet ria dos alunos no curso e assim possibilitando ao professor a interven o pedag gica e motivacional. Durante o processo de desenvolvimento da arquitetura, tr s est gios foram considerados: consci ncia, onde o foco a visualiza o dos dados de diferentes formas; reflex o, cujo objetivo avaliar a relev ncia dos dados presentes nas visualiza es, por meio de quest es feitas pelos pr prios professores; ​ sensemaking, que diz respeito an lise e reflex o das respostas dadas s perguntas feitas, gerando novos ​insights . Com isso, foi desenvolvida uma ferramenta cujo objetivo apresentar predi es de desempenho de alunos de uma forma amig vel para os professores, de modo a contribuir com o processo de ensino-aprendizagem e potencializar a intera o entre alunos, professores e recursos em AVAs.
Vertaile hintoja
Procedural Legal Business in Family Law

Procedural Legal Business in Family Law

Gabriela Martins Carmo; Alexander Perazo N de C

Our Knowledge Publishing
2023
pokkari
The 2015 Brazilian Code of Civil Procedure brought with it several innovations, including procedural legal deals. This institute aims to enable the parties to have more procedural freedom and autonomy, making the process more consistent with their individualities. The aim of this book is to explain a little more about this institute and analyse whether or not (and if so, to what extent) it can be used in family lawsuits. To this end, this work has been divided into three topics, in addition to the initial and final considerations, in which the first aims to study this new institute itself, the second to analyse private autonomy in family law and the third to assess whether procedural legal transactions are appropriate in family actions. It is worth emphasising that the research methodology is eminently bibliographical. From the research, it was concluded that yes, procedural legal deals can be used in family actions on the basis of private autonomy.
Vertaile hintoja
Les affaires juridiques procédurales dans le droit de la famille

Les affaires juridiques procédurales dans le droit de la famille

Gabriela Martins Carmo; Alexander Perazo N de C

Editions Notre Savoir
2023
pokkari
Le code de proc dure civile br silien de 2015 a apport plusieurs innovations, dont les accords juridiques proc duraux. Cet institut vise permettre aux parties d'avoir plus de libert et d'autonomie proc durales, en rendant le processus plus coh rent avec leurs individualit s. L'objectif de ce livre est d'expliquer un peu plus cet institut et d'analyser s'il peut ou non (et si oui, dans quelle mesure) tre utilis dans les proc s familiaux. Pour ce faire, ce travail a t divis en trois th mes, en plus des consid rations initiales et finales, dans lesquels le premier vise tudier ce nouvel institut lui-m me, le deuxi me analyser l'autonomie priv e dans le droit de la famille et le troisi me valuer si les transactions juridiques proc durales sont appropri es dans les actions familiales. Il convient de souligner que la m thodologie de recherche est minemment bibliographique. La recherche a permis de conclure que les transactions juridiques proc durales peuvent tre utilis es dans les actions familiales sur la base de l'autonomie priv e.
Vertaile hintoja
1...34567...50