Avant Memmo, mes notes étaient éparpillées dans des PDF. Maintenant, un espace de travail rassemble tout — je vois exactement ce qu'il me reste à étudier.
This book describes how to think about computer programs, and how to use mathematics as part of that thinking. Many books and on-line tutorials teach the basics of coding: the syntax of the language, and how to translate an algorithm into code. But how do you come up with that algorithm? And how can you be confident that the algorithm is correct?
The first part of the book considers small programs that use a loop, and how to demonstrate their correctness using loop invariants. It also covers some algorithms and algorithmic techniques that every programmer should know. The second half of the book considers slightly larger programs. It teaches the basics of modularisation, splitting up a program into manageable chunks. It teaches about abstract datatypes, values within a program that can be treated as mathematical values: how to specify their behaviours formally; and how to treat them as abstract mathematical objects when programming. It also teaches how to use data structures to represent abstract datatypes, and what it means for such a representation to be correct. And it presents some abstract datatypes and data structures that every programmer should know.
The book is aimed at those who want to obtain a better understanding of programs they work on, and so become better programmers. The target audience ranges from those who are just starting out, to professional programmers. The book aims to be pragmatic: the philosophy is to include enough formality to be convincing and to guide the programmer towards correct code, without getting bogged down in the mathematics.
Avant Memmo, mes notes étaient éparpillées dans des PDF. Maintenant, un espace de travail rassemble tout — je vois exactement ce qu'il me reste à étudier.
Les résumés de Memmo sont en or avant les examens. Pas besoin de relire 800 pages deux semaines avant — juste l'essentiel.
Le chat IA m'a sauvé la veille d'un examen plus d'une fois. Je pose des questions jusqu'à ce que je comprenne — pas besoin d'attendre la réponse d'un groupe d'étude.
Les quiz ciblent exactement ce que je dois savoir. Memmo suit ce sur quoi je bloque — comme ça, je ne m'entraîne que sur ce qui compte.
Les flashcards avec répétition espacée, c'est magique. Memmo sait quand je suis sur le point d'oublier quelque chose et me le rappelle.
Les podcasts IA, c'est ma fonction préférée. J'écoute en allant à l'école et j'ai un récap sans être devant un ordinateur.
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