-
Reading Hegel: The Introductions presents the key introductory texts from Hegel’s major works, including the Phenomenology of Spirit and the Philosophy of Right. These introductions provide essential insight into Hegel’s philosophical method, his dialectical approach, and his conception of history, society, and human consciousness. The book explains how reality and thought develop dialectically, with each stage containing contradictions that lead to higher syntheses. It also examines the evolution of human consciousness toward absolute knowledge and explores the realization of freedom within ethical and political life. This collection serves as a guide for understanding Hegel’s complex ideas and his systematic vision of philosophy, making his foundational concepts more accessible to scholars and students.
Dans Le rationalisme appliqué, Gaston Bachelard défend l'idée que la science ne doit pas être perçue comme une simple application de la raison logique et des méthodes de pensée traditionnelles. Il argue que la pensée scientifique doit être comprise comme un processus dynamique, où l’imagination, l'intuition et l’expérimentation jouent un rôle essentiel. Bachelard rejette l'idée d'une rationalité pure et propose une approche où la rationalité scientifique est constamment mise en question, évolue et se transforme au fur et à mesure des découvertes. Il introduit l'idée que le rationalisme n’est pas une application automatique de principes abstraits, mais un outil qui se modifie et s’adapte aux besoins et défis concrets de la recherche. Pour Bachelard, l'esprit scientifique doit constamment se remettre en question, et la science doit être comprise non pas comme un simple enchaînement de faits, mais comme un processus créatif et innovant. Le livre met l'accent sur la liberté de l'esprit scientifique, qui s'affranchit des dogmes, et qui doit être capable de repenser ses propres fondements pour progresser.
Le livre est un manuel pratique et complet pour toute personne souhaitant se lancer comme micro entrepreneur (anciennement auto entrepreneur) en France. Il répond aux questions essentielles que se pose un futur entrepreneur : qui peut bénéficier de ce statut, quelles activités exercer, quelles formalités administratives faire et comment les accomplir. Il détaille le cadre juridique, social et fiscal du régime, les obligations comptables, ainsi que les responsabilités liées à l’activité. Le guide présente aussi des conseils pour gérer et développer l’activité, éviter les erreurs courantes et, le cas échéant, mettre fin à son activité. Cette édition inclut les dernières mises à jour du statut et des informations pratiques pour gagner en clarté et en efficacité dans ses démarches.
La Terre et les rêveries de la volonté (1948) est un ouvrage de Gaston Bachelard consacré à l’imagination matérielle. Il y explore la manière dont la matière spécialement la terre, la pierre, les métaux suscite des images liées à l’effort, au travail, à la ténacité et à l’action. Bachelard analyse comment ces images fondent une « psychologie de la volonté », en montrant que notre rapport au monde matériel nourrit des rêveries actives, énergiques, orientées vers la maîtrise et la transformation des choses.
-
Edinburgh LCF is a computer system for doing formal proofs interactively. This book is both an introduction and a reference manual for the complete system (and its DECsystem-10 implementation). The acronym LCF stands for \"'Logic for Computable Functions\"' - a logic due to Dana Scott in which facts about recursively defined functions can be formulated and proved. The original system (developed at Stanford University) was a proof checker for this logic, based on the idea not of proving theorems automatically, but of using a number of commands to generate proofs interactively step by step. The emphasis then was on exploring the class of problems that could conveniently be represented in the logic, and on discovering the kinds of patterns of inference that arose when solving these problems. It was found that, by and large, the original logic was expressive enough, although a few useful extensions were suggested. However, the fixed repertoire of proof-generating commands often required long and very tedious interactions to generate quite simple proofs; furthermore these long interactions often consisted of frequent repetitions of essentially the same sequence of inferences., Series: LNCS0078, Edition: 1
-
Dans ce livre, Jérôme Méric traite des aspects clés de la gestion financière, en se concentrant sur l'analyse des états financiers, la gestion de la rentabilité et la création de valeur à travers les décisions financières. L'ouvrage explore les outils permettant d'optimiser la trésorerie, le financement des investissements et la gestion des risques financiers.
Cette quatrième édition de Gestion financière aborde les grands principes de la gestion des finances d'une entreprise, en mettant l'accent sur la compréhension et l'application des concepts financiers dans un contexte économique en constante évolution. Gérard Melyion y analyse les mécanismes financiers, la gestion des risques, la prise de décision en matière d'investissements et le financement des entreprises. Le livre se penche également sur les outils d'analyse financière, tels que les ratios financiers, les bilans et les comptes de résultat, ainsi que sur la gestion des flux de trésorerie et la structure du capital. Il est particulièrement utile pour les étudiants en gestion, finance et comptabilité, mais aussi pour les professionnels qui souhaitent approfondir leur compréhension des enjeux financiers dans une entreprise, que ce soit pour gérer la rentabilité, optimiser les investissements ou mieux comprendre les marchés financiers.