| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910466701503321 |
|
|
Autore |
Maury Alfred |
|
|
Titolo |
Croyances et legendes du Moyen Age / / Alfred Maury |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
[Place of publication not identified] : , : Ligaran, , 2015 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (295 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Christian legends - History and criticism |
Christian legends |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di contenuto |
|
Couverture; Page de Copyright; Page de titre; Préfaces; Préface; Préface du volume intitulé les Fées du Moyen Âge; Préface de l'essai sur les Légendes Pieuses du Moyen Âge; Les Fées; CHAPITRE I - Les Parques et les Déesses-Mères; CHAPITRE II - Les Fées; CHAPITRE III - Les esprits fantastiques des peuples du nord; Les Légendes Pieuses; CHAPITRE I - Transformation du christianisme sous l'influence de la raison; CHAPITRE II - Éléments de l'histoire biblique introduits dans les légendes, par suite de l'assimilation de la vie du saint à celle de Jésus-Christ; 1er - Le type de Jésus-Christ |
2 - Types empruntés à l'ancien testament 3 - Types empruntés aux actes des apôtres; 4 - Type de la vierge Marie; CHAPITRE III - Légendes nées de la confusion du sens littéral et matériel avec le sens figuré et spirituel; 1er - La force morale et la vie nouvelle apportées par Jésus-Christ sont prises dans le sens de la force physique et d'une guérison miraculeuse; 2 - La rapidité de propagation de la parole de dieu se transformant en multiplication des pains ou de pièces d'argent; 3 - Le jugement dernier devient l'espérance des âmes; 4 - Conception matérielle du paradis |
CHAPITRE IV - Légendes inventées pour expliquer les symboles figurés, dont le sens était oublié 1 - Désuétude des symboles usités par les premiers chrétiens; 2 - Représentations de Dieu Le Père; 3 - Représentations du Christ; 4 - Représentations de la Trinité; 5 - Représentations de l'âme; 6 - Substitution des images aux symboles et |
|
|
|
|
|
|
|
|
|
|
|
vicissitudes de l'iconoghaphie du XIIe au XVIe siècle; 7 - Les animaux symboles des êtres surnaturels; Le Serpent; Le lion; Le loup, l'ours; Le chien, l'âne; Le porc; Le cerf, la licorne; La colombe; Le corbeau; Le poisson |
Les animaux, symboles des quatre évangelistes 8 - Autres symboles; CHAPITRE V - Examen rationnel des légendes ; Garanties d'authenticité - Conclusion; 1 - Vrais principes de critique, caractères de la certitude; 2 - Application des principes au mode de composition des légendes; 3 - Application des principes critiques à l'état d'esprit des écrivains de légendes; 4 - Maladies nerveuses et mentales, causes de légendes; Conclusion |
|
|
|
|
|
|
Sommario/riassunto |
|
Extrait : ""Le sentiment religieux s'éveille, chez tous les hommes, en présence du spectacle imposant de la nature ; mais suivant la physionomie de celle-ci, il prend un caractère différent et s'attache à des objets divers. Sous le ciel brumeux et triste de la Celtique ou de la Germanie, l'esprit n'est point affecté des mêmes impressions que sous le soleil brûlant de l'Afrique, ou sous l'atmosphère molle et vaporeuse de la Toscane.""À PROPOS DES ÉDITIONS LIGARANLes éditions LIGARAN proposent des versions numériques de qualité de grands livres de la littérature classique mais également des liv |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910767527303321 |
|
|
Titolo |
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings / / edited by Rajeev Alur, Doron A. Peled |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2004.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 536 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 3114 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Software engineering |
Logic design |
Computer logic |
Logic, Symbolic and mathematical |
Artificial intelligence |
Theory of Computation |
Software Engineering |
Logic Design |
Logics and Meanings of Programs |
Mathematical Logic and Formal Languages |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references at the end of each chapters and index. |
|
|
|
|
|
|
|
|
Nota di contenuto |
|
Rob Tristan Gerth: 1956–2003 -- Static Program Analysis via 3-Valued Logic -- Deductive Verification of Pipelined Machines Using First-Order Quantification -- A Formal Reduction for Lock-Free Parallel Algorithms -- An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking -- Termination of Linear Programs -- Symbolic Model Checking of Non-regular Properties -- Proving More Properties with Bounded Model Checking -- Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings -- Using Interface Refinement to Integrate Formal Verification into the Design Cycle -- Indexed Predicate |
|
|
|
|
|
|
|
|
|
|
Discovery for Unbounded System Verification -- Range Allocation for Separation Logic -- An Experimental Evaluation of Ground Decision Procedures -- DPLL(T): Fast Decision Procedures -- Verifying ?-Regular Properties of Markov Chains -- Statistical Model Checking of Black-Box Probabilistic Systems -- Compositional Specification and Model Checking in GSTE -- GSTE Is Partitioned Model Checking -- Stuck-Free Conformance -- Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors -- Functional Dependency for Verification Reduction -- Verification via Structure Simulation -- Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures -- Abstraction-Based Satisfiability Solving of Presburger Arithmetic -- Widening Arithmetic Automata -- Why Model Checking Can Improve WCET Analysis -- Regular Model Checking for LTL(MSO) -- Image Computation in Infinite State Model Checking -- Abstract Regular Model Checking -- Global Model-Checking of Infinite-State Systems -- QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings -- Verification of an Advanced mips-Type Out-of-Order Execution Algorithm -- Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values -- Efficient Modeling of Embedded Memories in Bounded Model Checking -- Understanding Counterexamples with explain -- Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement -- JNuke: Efficient Dynamic Analysis for Java -- The HiVy Tool Set -- ObsSlice: A Timed Automata Slicer Based on Observers -- The UCLID Decision Procedure -- MCK: Model Checking the Logic of Knowledge -- Zing: A Model Checker for Concurrent Software -- The Mec 5 Model-Checker -- PlayGame: A Platform for Diagnostic Games -- SAL 2 -- Formal Analysis of Java Programs in JavaFAN -- A Toolset for Modelling and Verification of GALS Systems -- WSAT: A Tool for Formal Analysis of Web Services -- CVC Lite: A New Implementation of the Cooperating Validity Checker -- CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking -- Mechanical Mathematical Methods for Microprocessor Verification. |
|
|
|
|
|
| |