Une pure merveille !
Un roman d'une grande beauté, drôle, fin, extrêmement lumineux sur des sujets difficiles : la perte de
l'être aimé, la dureté de la vie et la tristesse qu'on barricade parfois... Elise franco-japonaise,
orpheline de sa maman veut poser LA question à son père et elle en trouvera le courage au fil des pages,
grâce au retour de sa grand-mère du japon, de sa rencontre avec son extravagante amie Stella..
Ensemble il ne diront plus Sayonara mais Mata Ne !
Logic forms the basis of mathematics, and is a fundamental part of any mathematics course. It is a major element in theoretical computer science and bas...
Lire la suite
Livré chez vous entre le 1 octobre et le 5 octobre
En librairie
Résumé
Logic forms the basis of mathematics, and is a fundamental part of any mathematics course. It is a major element in theoretical computer science and bas undergone a revival with the ever-growing importance of computer science.
This text is based on a course to undergraduates and gives a clear and accessible introduction to mathematical logic. The concept of model provides the underlying theme, giving the text a theoretical coherence whilst still covering a wide area of logic. The first chapter considers Propositional Calculus; then Boolean Algebras follow, Chapter 3 covers Predicate Calculus and this is followed by Completeness Theorems. Large numbers of examples appear throughout the text and each chapter concludes with a selection of exercises to reinforce the student's understanding. Answers to the exercises are given in an appendix.
Part II completes the course. Topics covered are: Recursion Theory; Formalization of Arithmetic, Gödel's Theorems; Set Theory, Model Theory.
Mathematical Logic, A Course With Exercises. Part 1, Propositional Calculus, Boolean Algebras, Predicate Calculus est également présent dans les rayons