Podstawy logiki i teorii mnogości
| dc.contributor.author | Murawski, Roman | |
| dc.contributor.author | Świrydowicz, Kazimierz | |
| dc.date.accessioned | 2018-02-27T13:31:51Z | |
| dc.date.available | 2018-02-27T13:31:51Z | |
| dc.date.issued | 2016 | |
| dc.description.abstract | Książka zawiera wykład podstawowych zagadnień logiki matematycznej i teorii mnogości przeznaczony dla zaocznych studentów informatyki. Część pierwsza poświęcona jest rachunkowi zdań i rachunkowi predykatów oraz funkcjom logicznym i aksjomatycznemu ujęciu logiki klasycznej. Część druga to wykład elementów tzw. naiwnej (tzn. nieaksjomatycznej) teorii mnogości (algebra zbiorów, relacje, funkcje, teoria mocy). Do książki dołączono dodatek zawierający uwagi historyczne o rozwoju logiki i teorii mnogości. | pl |
| dc.identifier.citation | Murawski R., Świrydowicz K., Podstawy logiki i teorii mnogości. Wydanie II poprawione, Poznań: Wydawnictwo Naukowe UAM, 2016, s. 162 | pl |
| dc.identifier.isbn | 978-83-232-3055-7 | |
| dc.identifier.uri | http://hdl.handle.net/10593/21683 | |
| dc.language.iso | pol | pl |
| dc.publisher | Wydawnictwo Naukowe UAM | pl |
| dc.rights | info:eu-repo/semantics/openAccess | pl |
| dc.subject | logika matematyczna | pl |
| dc.subject | teoria mnogości | pl |
| dc.subject | funkcje logiczne | pl |
| dc.subject | logika klasyczna | pl |
| dc.title | Podstawy logiki i teorii mnogości | pl |
| dc.type | Książka | pl |