Hodnotenie:
Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 5 hlasoch.
Sets, Logic and Maths for Computing
Táto prehľadná učebnica predstavuje matematický jazyk, vedomosti a zručnosti pri riešení problémov, ktoré vysokoškolskí študenti potrebujú na vstup do sveta počítačových a informačných vied. Jazyk je čiastočne kvalitatívny, s pojmami ako množina, relácia, funkcia a rekurzia/indukcia, ale čiastočne aj kvantitatívny, s princípmi počítania a konečnej pravdepodobnosti. S oboma jazykmi sa prelínajú základné pojmy logiky a ich použitie na reprezentáciu a dôkaz. V desiatich kapitolách venovaných týmto témam kniha sprevádza študenta základnými pojmami a technikami.
Rozsiahle prepracované druhé vydanie poskytuje ďalšie objasnenie záležitostí, ktoré v triede zvyčajne spôsobujú ťažkosti, a reštrukturalizuje kapitoly o logike tak, aby zdôrazňovali úlohu dôsledkových vzťahov a pravidiel vyššej úrovne, ako aj obsahuje viac cvičení a riešení.
Témy a vlastnosti: vyučuje konečnú matematiku ako jazyk myslenia, rovnako ako vedomosti a zručnosti, ktoré treba získať; používa intuitívny prístup so zameraním na príklady pre všetky všeobecné pojmy; prináša prepojenie medzi kvalitatívnym a kvantitatívnym vo všetkých oblastiach, najmä v spracovaní rekurzie a indukcie; starostlivo vyvažuje abstraktné a konkrétne, princípy a dôkazy, konkrétne fakty a všeobecné perspektívy; obsahuje zvýraznené rámčeky, ktoré upozorňujú na bežné otázky a odstraňujú nejasnosti; poskytuje množstvo cvičení s vybranými riešeniami na overenie a prehĺbenie čitateľovho porozumenia.
Tento zrozumiteľne napísaný text/odkaz je povinnou literatúrou pre študentov prvého ročníka bakalárskeho štúdia informatiky. Predpokladá len minimálne matematické zázemie, je ideálny na výučbu aj samostatné štúdium.
