-
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.
-
Cette huitième édition présente, dans un langage abordable à tous, un inventaire complet des technologies employées dans les ordinateurs et les matériels annexes qui y sont rattachés ainsi que dans l'architecture des réseaux locaux d'ordinateurs et les réseaux publics. Après une approche des connaissances de bases (langage binaire, code ASCII...) l'ouvrage aborde l'unité centrale (microprocesséurs, mémoire...), les périphériques (disques, écrans, imprimantes...), pour terminer par une étude des transmissions de données sur les réseaux locaux (Ethernet...) et les réseaux de transport. Cette nouvelle édition tient compte des dernières caractéristiques techniques des matériels présentés ainsi que des matériels récemment arrivés sur le marché... Ce livre "référent" est destiné aux élèves (et aux enseignants) de BTS, DUT, écoles d'ingénieurs... qui suivent un enseignement technique, particulièrement en informatique. II intéressera également tous ceux qui souhaitent comprendre comment fonctionne un ordinateur ou l'un de ses périphériques.
-
-
-