03.03.2014 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!