„Programarea ar trebui să fie mai mult decât codificare” – Leslie Lamport de la Microsoft Research
Seria de seminarii Colocviul privind sistemele informatice (EE380) prezintă cercetările actuale în proiectarea, implementarea, analiza și utilizarea sistemelor informatice. Subiectele variază de la circuite integrate la sisteme de operare și limbaje de programare. Este gratuit și deschis publicului, cu prelegeri noi în fiecare săptămână.
Află mai multe: http://bit.ly/WinYX5
0:00 Introducere
0:30 Cele 3 sarcini de programare
2:08 O problemă cu adevărat ușoară
4:34 Cum putem gândi mai clar?
5:27 Modele versus realitate
6:08 Informatică
6:52 Ce este un program?
8:07 Sarcina 1: Specificarea ce face programul
9:34 Exemplul nostru: un program GCD
10:29 Realitatea versus model
11:07 Limitări ale modelului de funcții
11:56 Modelul comportamental standard
12:31 Sarcina 2 pentru algoritmul lui Euclid
21:57 Specificația completă a sarcinii 2
23:54 Dar specificațiile formale?
24:16 Limba: VENI
25:32 Problema cu TLA
29:38 Sistemul de memorie Xbox 360
34:33 De ce nu o specificație oficială?
35:19 Ce este tipic la această specificație
36:24 Ce nu este tipic la această specificație
39:45 Ce cod ar trebui să specificați?
40:28 Ce ar trebui să specificați despre cod?
41:52 Cum înveți să scrii specificații?
42:14 Cum înveți să scrii specificații formale?
43:03 Cum conectezi specificația la cod?
44:02 Ce zici de codificare?
Cursuri interesante:
- Seminar Stanford – Cine deține viitorul, Jaron Lanier, Microsoft Research
- Seminar Stanford – Vorbire profundă: Creșterea recunoașterii vocale de la capăt la capăt
- Seminar Stanford – Limbajul de programare Rust
- Seminar Stanford – Băutură din furtunul de incendiu: cum decodifică procesorul morii peste 30 de instrucțiuni pe ciclu
- Seminar Stanford – Analiza topologică a datelor: Cum a folosit Ayasdi TDA pentru a rezolva probleme complexe
- Seminar Stanford – Intel Software Guard Extensions
- Seminar Stanford – Programare concatenative: de la fildeș la metal
- Cum să folosești Visual Studio Code (VSC) când înveți programare web
- #18 Despre cursul acreditat de Programare Python, cu Vlad Crăciun
- Periferice Microsoft dezafectate şi neînregistrate, reînviate prin înțelegerea de licențiere.