eBook - ePub
Introduction to Mathematical Logic
Extended Edition
Micha?? Walicki
This is a test
Partager le livre
- 304 pages
- English
- ePUB (adapté aux mobiles)
- Disponible sur iOS et Android
eBook - ePub
Introduction to Mathematical Logic
Extended Edition
Micha?? Walicki
DĂ©tails du livre
Aperçu du livre
Table des matiĂšres
Citations
Ă propos de ce livre
This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book presupposes only elementary background and can be used also for self-study by more ambitious students.
Starting with the basics of set th
Foire aux questions
Comment puis-je résilier mon abonnement ?
Il vous suffit de vous rendre dans la section compte dans paramĂštres et de cliquer sur « RĂ©silier lâabonnement ». Câest aussi simple que cela ! Une fois que vous aurez rĂ©siliĂ© votre abonnement, il restera actif pour le reste de la pĂ©riode pour laquelle vous avez payĂ©. DĂ©couvrez-en plus ici.
Puis-je / comment puis-je télécharger des livres ?
Pour le moment, tous nos livres en format ePub adaptĂ©s aux mobiles peuvent ĂȘtre tĂ©lĂ©chargĂ©s via lâapplication. La plupart de nos PDF sont Ă©galement disponibles en tĂ©lĂ©chargement et les autres seront tĂ©lĂ©chargeables trĂšs prochainement. DĂ©couvrez-en plus ici.
Quelle est la différence entre les formules tarifaires ?
Les deux abonnements vous donnent un accĂšs complet Ă la bibliothĂšque et Ă toutes les fonctionnalitĂ©s de Perlego. Les seules diffĂ©rences sont les tarifs ainsi que la pĂ©riode dâabonnement : avec lâabonnement annuel, vous Ă©conomiserez environ 30 % par rapport Ă 12 mois dâabonnement mensuel.
Quâest-ce que Perlego ?
Nous sommes un service dâabonnement Ă des ouvrages universitaires en ligne, oĂč vous pouvez accĂ©der Ă toute une bibliothĂšque pour un prix infĂ©rieur Ă celui dâun seul livre par mois. Avec plus dâun million de livres sur plus de 1 000 sujets, nous avons ce quâil vous faut ! DĂ©couvrez-en plus ici.
Prenez-vous en charge la synthÚse vocale ?
Recherchez le symbole Ăcouter sur votre prochain livre pour voir si vous pouvez lâĂ©couter. Lâoutil Ăcouter lit le texte Ă haute voix pour vous, en surlignant le passage qui est en cours de lecture. Vous pouvez le mettre sur pause, lâaccĂ©lĂ©rer ou le ralentir. DĂ©couvrez-en plus ici.
Est-ce que Introduction to Mathematical Logic est un PDF/ePUB en ligne ?
Oui, vous pouvez accĂ©der Ă Introduction to Mathematical Logic par Micha?? Walicki en format PDF et/ou ePUB ainsi quâĂ dâautres livres populaires dans Mathematik et Logik in der Mathematik. Nous disposons de plus dâun million dâouvrages Ă dĂ©couvrir dans notre catalogue.
Informations
Sujet
MathematikSous-sujet
Logik in der MathematikPart I
ELEMENTS OF SET THEORY
Chapter 1
SETS, FUNCTIONS, RELATIONS
1.1SETS AND FUNCTIONS
a background story
A set is an arbitrary collection of arbitrary objects, called its members. One should take these two occurrences of âarbitraryâ seriously. Firstly, sets may be finite, e.g., the set C of cars on the parking lot outside the building, or infinite, e.g. the set N of numbers greater than 5.
Secondly, any objects can be members of sets. We can talk about sets of cars, blood-cells, numbers, Roman emperors, etc. We can also talk about the set X whose elements are: my car, your mother and number 6. (Not that such a set is necessarily useful for any purpose, but it is possible to collect these various elements into one set.) In particular sets themselves can be members of other sets. We can, for instance, form the set whose elements are: your favorite pen, your two best friends and the set N. This set will have 4 elements, even though the set N itself is infinite.
A set with only one element is called a singleton, e.g., the set containing only planet Earth. There is one special and very important set â the empty set â which has no members. If it seems startling, you may think of the set of all square circles or all numbers x such that x < x. This set is mainly a mathematical convenience â defining a set by describing the properties of its members in an involved way, we may not know from the very beginning what its members are. Eventually, we may find that no such objects exist, that is, that we defined an empty set. It also makes many formulations simpler since, without the assumption of its existence, one would often had to take special precautions for the case a set happened to contain no elements.
It may be legitimate to speak about a definite set even if we do not know exactly its members. The set of people born in 1964 may be hard to determine exactly but it is a well defined object because, at least in principle, we can determine membership of any object in this set. Similarly, we will say that the set R of red objects is well defined even if we certainly do not know all its members. But confronted with a new object, we can determine if it belongs to R or not (assuming, that we do not dispute the meaning of the word âredâ).
There are four basic means of specifying a set.
(1)If a set is finite and small, we may list all its elements, e.g., S = {1, 2, 3, 4} is a set with four elements.
(2)A set can be specified by determining a property which makes objects qualify as its elements. The set R of red objects is specified in this way. The set S can be described as âthe set of natural numbers greater than 0 and less than 5â.
(3)A set may be obtained from other sets. For instance, given the set S and the set SâČ = {3, 4, 5, 6} we can form a new set Sâł = {3, 4} which is the intersection of S and SâČ. Given the sets of odd {1, 3, 5, 7, 9, âŠ} and even numbers {0, 2, 4, 6, 8, âŠ} we can form a new set by taking their union.
(4)Finally, a set can be also given by means of the rules for genera...