Mathematical Logic Ebook Info-bulle Les e-books sont lisibles sur votre ordinateur ou une liseuse adaptée. Sur les nombres, les ensembles, les structures et la symétrie
Auteur:
Roman Kossak
- en
- livre numérique
- 9783319972985
- 03 octobre 2018
Résumé
This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.
Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is rigorous, but as informal as possible. All necessary concepts are introduced exactly as they would be in a course in mathematical logic; but are accompanied by more extensive introductory remarks and examples to motivate formal developments.
The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how they are used to study and classify mathematical structures. Although more advanced, this second part is accessible to the reader who is either already familiar with basic mathematical logic, or has carefully read the first part of the book. Classical developments in model theory, including the Compactness Theorem and its uses, are discussed. Other topics include tameness, minimality, and order minimality of structures.
The book can be used as an introduction to model theory, but unlike standard texts, it does not require familiarity with abstract algebra. This book will also be of interest to mathematicians who know the technical aspects of the subject, but are not familiar with its history and philosophical background.
Its first part, Logic Sets, and Numbers, shows how mathematical logic is used to develop the number structures of classical mathematics. The exposition does not assume any prerequisites; it is rigorous, but as informal as possible. All necessary concepts are introduced exactly as they would be in a course in mathematical logic; but are accompanied by more extensive introductory remarks and examples to motivate formal developments.
The second part, Relations, Structures, Geometry, introduces several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions, and shows how they are used to study and classify mathematical structures. Although more advanced, this second part is accessible to the reader who is either already familiar with basic mathematical logic, or has carefully read the first part of the book. Classical developments in model theory, including the Compactness Theorem and its uses, are discussed. Other topics include tameness, minimality, and order minimality of structures.
The book can be used as an introduction to model theory, but unlike standard texts, it does not require familiarity with abstract algebra. This book will also be of interest to mathematicians who know the technical aspects of the subject, but are not familiar with its history and philosophical background.
Spécifications produit
Nous n'avons trouvé aucune spécification pour votre recherche '{SEARCH}'.
Contenu
- Langue
- en
- Binding
- livre numérique
- Date de sortie initiale
- 03 octobre 2018
- Illustrations
- Non
Personnes impliquées
- Auteur principal
- Roman Kossak
- Editeur principal
- Springer
Options de lecture
- Lisez cet ebook sur
- Ordinateur de bureau (Mac et Windows) | Lecteur électronique Kobo | Android (smartphone et tablette) | iOS (smartphone et tablette) | Windows (smartphone et tablette)
Autres spécifications
- Livre d‘étude
- Non
EAN
- EAN
- 9783319972985
Vous trouverez cet article :
- Catégories
- Livre, ebook ou livre audio ?
- Ebook
- Langue
- Anglais
- Disponibilité
- Disponible à l'adresse suivante
Choisissez la version souhaitée
Binding
: livre numérique
Informations sur les prix et commande
Le prix de ce produit est de 56 euros.
Disponible immédiatement
Vendu par bol
- E-book utilisable dès son achat
- Les e-books offrent plein d'avantages
- Service client 24h/24
- Paiement sécurisé
Vous ne pouvez pas annuler ou retourner des éléments téléchargés. Pour les produits qui ne sont pas encore parus, vous pouvez annuler jusqu'à la date de publication.
Voir aussi les conditions de retour
Signaler cet article
Vous souhaitez signaler un contenu illégal à propos cet article:
- Je souhaite faire un signalement en tant que client.
- Je veux faire un signalement en tant qu'autorité ou personne de confiance.
- Je veux faire un signalement en tant que propriétaire de partenaire
- Je veux faire un signalement en tant que propriétaire de marque
Vous n'êtes pas un client, une autorité, personne de confiance, propriétaire de marque ou un partenaire ? Dans ce cas, utilisez le bouton ci-dessous pour effectuer un signalement.