voved vo teorijata na mno@estvata i matemati^kata logika
voved vo teorijata na mno@estvata i matemati^kata logika
voved vo teorijata na mno@estvata i matemati^kata logika
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
SODR@INA<br />
1. MNO@ESTVA I ISKAZNO SMETAWE 7<br />
1.1. Mno`estva 7<br />
1.1.1. Ve`bi 9<br />
1.2. Iskazi i iskazni formuli 10<br />
1.2.1. Ve`bi 16<br />
1.3. Iskazni funkcii. Kvantifikatori 18<br />
1.3.1. Ve`bi 20<br />
1.4. Tavtologii 21<br />
1.4.1. Ve`bi 22<br />
1.5. Generatorni mno`estva svrznici 25<br />
1.5.1. Ve`bi 30<br />
1.6. Operacii so mno`estva 31<br />
1.6.1. Ve`bi 34<br />
1.7. Unija i presek od pove}e mno`estva 35<br />
1.7.1. Ve`bi 36<br />
1.8. Direktni proiz<strong>vo</strong>di 37<br />
1.8.1. Ve`bi 38<br />
1.9. Re{avawe ravenki so mno`estva 38<br />
1.9.1. Ve`bi 40<br />
2. RELACII, PRESLIKUVAWA I PODREDENI<br />
MNO@ESTVA 43<br />
2.1. Korespondencii 43<br />
2.1.1. Ve`bi 44<br />
2.2. Relacii 44<br />
2.2.1. Ve`bi 51<br />
2.3. Preslikuvawa 53<br />
2.3.1. Ve`bi 57<br />
2.4. Nekoi vidovi preslikuvawa 57<br />
2.4.1. Ve`bi 60<br />
2.5. Ekvivalentni mno`estva 62<br />
2.5.1. Ve`bi 63<br />
2.6. Vrska me|u preslikuvawa i ekvivalentnosti 63<br />
2.6.1. Ve`bi 65<br />
2.7. Podredeni mno`estva 65<br />
2.7.1. Ve`bi 69<br />
2.8. Mre`i 70<br />
2.8.1. Ve`bi 72<br />
2.9. Kone~ni i prebroivi mno`estva 73<br />
2.9.1. Ve`bi 76<br />
2.10. Kardi<strong>na</strong>lni broevi 76<br />
2.10.1. Ve`bi 78<br />
2.11. Operacii so kardi<strong>na</strong>lni broevi 79