Aller au contenu principal
Bibliothèque de L'IMIST/CNRST
Votre panier est vide.
Panier
Listes
Listes publiques
Nouvelles acquisition - avril
Lexis Nexis
Contributions académiques
Acquisition Septembre 2021
Langue arabe
Tout voir
Mes listes
Connectez-vous pour créer vos listes personnelles
Langues
Français
English
لعربية
Connexion à votre compte
Historique de recherche
Effacer
×
Ask A Librarian
Name:
Phone No:
Email:
Comment:
Chercher
Catalogue
Titre
Auteur
Sujet
ISBN
ISSN
Collection
Cote
Toutes les bibliothèques
La bibliothèque des lettres et sciences humaines et sociales
La bibliothèque des sciences de l'ingénieur
La bibliothèque des Sciences Exactes et Naturelles
La bibliothèque des Sciences Juridiques, Economiques et de Gestion
La bibliothèque des Sciences Médicales et Pharmaceutiques
Valider
Recherche avancée
Recherche d'autorités
Nuage de tags
Suggestions d'achat
×
Connexion à votre compte
Identifiant :
Mot de passe :
Vous n'avez pas de compte ?
Cliquer ici pour vous créer un compte.
Accueil
›
Résultats de recherche pour 'ccl=su:Logic, Symbolic and mathematical and ( (allrecords,AlwaysMatches='') and (not-onloan-count,st-numeric >= 1) and (lost,st-numeric=0) )'
Affiner votre recherche
Disponibilité
Limiter aux exemplaires disponibles.
Auteurs
Braüner, Torben
(1)
Lerman,, M.
(1)
Maddox, Randall
(1)
Maddox, Randall B.
(1)
Poggiolesi, Francesc...
(1)
Sites de rattachement
La bibliothèque des Sciences Exactes et Naturelles
(5)
Types de document
Livre
(5)
Collection
Applied logic series
(1)
Lecture notes in log...
(1)
Trends in logic
(1)
Sujets
Calculus
(1)
Logic, Symbolic and ...
(5)
Mathematical notatio...
(1)
Mathematics
(1)
Modality (Logic)
(1)
Priority (Philosophy...
(1)
Proof theory
(5)
Proposition (Logic)
(1)
Afficher plus
Afficher moins
Votre recherche a retourné 5 résultats.
Pertinence
Popularité (plus à moins)
Popularité (moins à plus)
Auteur (A-Z)
Auteur (Z-A)
Cote (0-9 à A-Z)
Cote (Z-A à 9-0)
Date de publication : décroissante
Date de publication : Croissante
Date d'acquisition : décroissante
Date d'acquisition : croissante
Titre (A-Z)
Titre (Z-A)
Ne pas surligner
Surligner
|
|
A framework for priority arguments
par
Lerman,, M.
Publication :
New York Cambridge University Press 2010 . xvi, 176 pages , "This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and uses them to give shorter and easier-to-follow proofs of computability-theoretic theorems. Standard theorems of priority levels 1, 2, and 3 are chosen to demonstrate the framework's use, with all proofs following the same pattern. The last section features a new example requiring priority at all finite levels. The book will serve as a resource and reference for researchers in logic and computability, helping them to prove theorems in a shorter and more transparent manner"--Provided by publisher. 24 cm.
Date :
2010
Disponibilité :
Exemplaires disponibles:
La bibliothèque des Sciences Exactes et Naturelles (1),
Réserver
Ajouter au panier
(Supprimer)
A transition to abstract mathematics:
learning mathematical thinking and writing
par
Maddox, Randall.
Publication :
[S.l.] Academic Press 2009 . 356 p. , Constructing concise and correct proofs is one of the most challenging aspects of learning to work with advanced mathematics. Meeting this challenge is a defining moment for those considering a career in mathematics or related fields. Mathematical Thinking and Writing teaches readers to construct proofs and communicate with the precision necessary for working with abstraction. It is based on two premises: composing clear and accurate mathematical arguments is critical in abstract mathematics, and that this skill requires development and support. Abstraction is the destination, not the starting point. Maddox methodically builds toward a thorough understanding of the proof process, demonstrating and encouraging mathematical thinking along the way. Skillful use of analogy clarifies abstract ideas. Clearly presented methods of mathematical precision provide an understanding of the nature of mathematics and its defining structure. After mastering the art of the proof process, the reader may pursue two independent paths. The latter parts are purposefully designed to rest on the foundation of the first, and climb quickly into analysis or algebra. Maddox addresses fundamental principles in these two areas, so that readers can apply their mathematical thinking and writing skills to these new concepts. From this exposure, readers experience the beauty of the mathematical landscape and further develop their ability to work with abstract ideas. * Covers the full range of techniques used in proofs, including contrapositive, induction, and proof by contradiction * Explains identification of techniques and how they are applied in the specific problem * Illustrates how to read written proofs with many step by step examples * Includes 20% more exercises than the first edition that are integrated into the material instead of end of chapter * The Instructors Guide and Solutions Manual points out which exercises simply must be either assigned or at least discussed because they undergird later results. 24 cm.
Date :
2009
Disponibilité :
Exemplaires disponibles:
La bibliothèque des Sciences Exactes et Naturelles (1),
Réserver
Ajouter au panier
(Supprimer)
Gentzen calculi for modal propositional logic
par
Poggiolesi, Francesca
Publication :
Dordrecht | New York Springer 2011 . 222 pages 24 cm.
Date :
2011
Disponibilité :
Exemplaires disponibles:
La bibliothèque des Sciences Exactes et Naturelles (1),
Réserver
Ajouter au panier
(Supprimer)
Hybrid logic and its proof-theory
par
Braüner, Torben.
Publication :
Dordrecht | New York Springer. 2011 . xiii, 231 pages 24 cm.
Date :
2011
Disponibilité :
Exemplaires disponibles:
La bibliothèque des Sciences Exactes et Naturelles (1),
Réserver
Ajouter au panier
(Supprimer)
Mathematical thinking and writing
A transition to higher mathematics
par
Maddox, Randall B.
Publication :
[S.l.] Academic Press 2002 . 304 p. , The ability to construct proofs is one of the most challenging aspects of the world of mathematics. It is, essentially, the defining moment for those testing the waters in a mathematical career. Instead of being submerged to the point of drowning, readers of Mathematical Thinking and Writing are given guidance and support while learning the language of proof construction and critical analysis. Randall Maddox guides the reader with a warm, conversational style, through the task of gaining a thorough understanding of the proof process, and encourages inexperienced mathematicians to step up and learn how to think like a mathematician. A student's skills in critical analysis will develop and become more polished than previously conceived. Most significantly, Dr. Maddox has the unique approach of using analogy within his book to clarify abstract ideas and clearly demonstrate methods of mathematical precision. 25 cm.
Date :
2002
Disponibilité :
Exemplaires disponibles:
La bibliothèque des Sciences Exactes et Naturelles (1),
Réserver
Ajouter au panier
(Supprimer)
Vous ne trouvez pas ce que vous cherchez ?
Faites une
suggestion d'achat
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST
/
IMIST
Propulsé par
Koha