Ennen Memmoa muistiinpanoni olivat hajallaan PDF-tiedostoissa. Nyt työtila kokoaa kaiken yhteen – näen tarkalleen, mitä on vielä opiskeltavana.
This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph algorithms, string search, Huffman's algorithm for generating optimal codes and alpha-beta pruning of game trees.
The book covers both correctness (does the algorithm do what it is supposed to do?) and running time analysis (does the algorithm terminate within a specified number of steps?). It does so in a unified manner with inductive proofs about functional programs and their running time functions.
What sets this book apart from existing books on algorithms is that all proofs have been machine-checked, by the proof assistant Isabelle. That is, in addition to the text in the book, which requires no knowledge of proof assistants!, the Isabelle definitions and proofs are available online. The structured nature of Isabelle proofs permits even novices to follow the high-level arguments.
This book is aimed at teachers and students (it has been classroom-tested for a number of years) but is also a reference work for programmers and researchers who are interested in the (verified!) details of some algorithm or proof.
Ennen Memmoa muistiinpanoni olivat hajallaan PDF-tiedostoissa. Nyt työtila kokoaa kaiken yhteen – näen tarkalleen, mitä on vielä opiskeltavana.
Memmon yhteenvedot ovat kultaa ennen kokeita. Minun ei tarvitse lukea 800 sivua uudelleen kaksi viikkoa ennen – vain tärkeimmät osat.
AI-chat on pelastanut minut useammin kuin kerran tenttiä edeltävänä iltana. Kysyn vain, kunnes ymmärrän – ilman, että tarvitsee odottaa opiskeluryhmän vastausta.
Visat osuvat juuri siihen, mitä minun tarvitsee tietää. Memmo seuraa, mihin jään jumiin – joten harjoittelen vain sitä, mikä on sen arvoista.
Muistikortit toistuvalla harjoittelulla ovat taikaa. Memmo tietää, milloin olen unohtamassa jotain, ja tuo sen takaisin.
AI-podcastit ovat suosikkini. Kuuntelen niitä matkalla kouluun ja saan kertauksen ilman, että tarvitsee istua tietokoneen ääressä.
Handbok i kvalitativa metoder
281 kr
Hållbar utveckling: en introduktion för ingenjörer och andra problemlösare
334 kr
Brymans Samhällsvetenskapliga metoder
390 kr
Projektledning
491 kr
Den orättvisa hälsan: om socioekonomiska skillnader i hälsa och livslängd
326 kr
Organizational Leadership
429 kr
Vetenskapsteori för nybörjare
196 kr
På väg mot läraryrket
172 kr
Det sociala livet i skolan: Socialpsykologiska perspektiv
253 kr
Betygsättningens didaktik
151 kr
Personality
402 kr
Studying Leadership
404 kr
Managing Innovation
477 kr
Introduktion till samhällsvetenskaplig metod
347 kr
The Psychology of Sex and Gender
698 kr
Evidens och kunskap för socialt arbete
207 kr
Introduction to Leadership
605 kr