Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
WSTĘP
Τοῦδὲποσοῦτὸμένἐστιδιωρισμένον,τὸδὲσυνεχες.
Ilośćjestbądźrozdzielna,bądźciągła.
-Arystoteles,Kategorie(ok.350p.n.e.)
Tenwprowadzającypodręczniktraktujeomatematycedyskretnej,którą
informatycypowinniznać,alezregułynieucząsięjejnakursachra-
chunkuróżniczkowegoczyalgebryliniowej.Celemnaszymjestraczej
wiedzaszerokaniżgłęboka,zaśtaksamojakpojęćczyumiejętności
chcemyuczyćodpowiedniegosposobumyślenia.
Podkreślamywagęsztukiprzeprowadzaniadowodówwnadziei,że
informatycynaucząsięmyślećformalnieiprecyzyjnie.Niemalkaż-
daformułaitwierdzenietuwpełniudowodnione.Tekstukazuje
kumulatywnąnaturęmatematyki.Naprzekórszerokiemuzakresowi
tematycznemu,wynikipozorniemiędzysobąniezwiązanewdalszych
rozdziałachbędąopartenapojęciachpoznanychwcześniej.
Tekstwymagaznajomościmatematykinapoziomiewstępudo
rachunkuróżniczkowego,niekiedyużywamyteżsamegorachunkuróż-
niczkowego.Wrozdziale21natematnotacjiasymptotycznejużywamy
granic,aleumieściliśmytamteżkrótkiepodsumowaniewszystkich
potrzebnychpodstawowychfaktów.Dowodyićwiczeniawykorzystu-
jącepodstawowąwiedzęzzakresupochodnychicałek,wtymzasadę
l’Hopitala,możnapominąć,nietracącciągłości.
PrzyspieszonyjednosemestralnykursnaHarvardzieomawiawięk-
szośćmateriałuzawartegowtejksiążce.Natakikursuczęszczająza-
zwyczajstudencipierwszegoidrugiegoroku,gdyżstanowionwstęp
dokursównatematteoriiobliczeń(automaty,obliczalność,analiza
algorytmów).Podręczniknadajesięrównieżdoużytkuwszkołach
średnich,dlauczniówmatematykilubinformatykizainteresowanych
tematamimatematyczniedlanichdostępnymi,aleznajdującymisię
pozautartymszlakiemprogramuszkolnego.
Książkanapisanazostałajakoseriakrótkichrozdziałów,zktórych
każdymógłbybyćtematemjednejlubdwóchgodzinzajęć.Każdyrozdział
kończysiękrótkimpodsumowaniemiokołodziesięciomazadaniami.
Możnaznichkorzystaćnazasadachpracydomowejlubużyćichjako
ćwiczeńdowspólnegorozwiązywaniawniewielkichgrupkach.
Nauczyciele,którzywoląnieomawiaćwszystkichtematówtuza-
wartych,mogąskracaćksiążkęnawielesposobów.Głównynurtksiążki
xi