Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Leslie Lamport

Sponsored · Your Podcast. Everywhere. Effortlessly. Share. Educate. Inspire. Entertain. You do you. We'll handle the rest. →
Avatar for Gabriel Nunes Gabriel Nunes
June 01, 2018
Education
0
19

Leslie Lamport

Apresentação para o trabalho da disciplina "Fundamentos de Sistemas de Informação", UFMG

Avatar for Gabriel Nunes

Gabriel Nunes

June 01, 2018
Tweet

Other Decks in Education

See All in Education
CSS3 and Responsive Web Design - Lecture 5 - Web Technologies (1019888BNR)
Avatar for Beat Signer signer
PRO
1
3.1k
IKIGAI World Fes：program
Avatar for Fujinari tsutsumi
1
2.6k
160人の中高生にAI・技術体験の講師をしてみた話
Avatar for ShuntaToda shuntatoda
0
300
Going over the Edge
Avatar for Jono Alderson jonoalderson
0
340
HTML5 and the Open Web Platform - Lecture 3 - Web Technologies (1019888BNR)
Avatar for Beat Signer signer
PRO
2
3.2k
コマンドラインを見直そう（1995年からタイムリープ）
Avatar for sapi_kawahara sapi_kawahara
0
660
都市の形成要因と 「都市の余白」のあり方
Avatar for S.SAKAMON sakamon
0
160
2025-10-30 社会と情報2025 #05 CC+の代わり
Avatar for mapconcierge mapconcierge4agu
0
110
【旧：ZEPメタバース校舎操作ガイド】
Avatar for aini school小中等部 ainischool
0
790
Measuring your measuring
Avatar for Jono Alderson jonoalderson
1
350
AWS re_Invent に全力で参加したくて筋トレを頑張っている話
Avatar for amarelo_n24 amarelo_n24
2
120
AIで日本はどう進化する？ 〜キミが生きる2035年の地図〜
Avatar for Zun Behoma behomazn
0
110

Featured

See All Featured
Site-Speed That Sticks
Avatar for Harry Roberts csswizardry
13
1.1k
Product Roadmaps are Hard
Avatar for C. Todd Lombardo iamctodd
PRO
55
12k
The Art of Programming - Codeland 2020
Avatar for Erika Heidi erikaheidi
57
14k
30 Presentation Tips
Avatar for Ian Lurie portentint
PRO
1
210
The Pragmatic Product Professional
Avatar for Laura Van Doore lauravandoore
37
7.1k
HU Berlin: Industrial-Strength Natural Language Processing with spaCy and Prodigy
Avatar for Ines Montani inesmontani
PRO
0
210
Jess Joyce - The Pitfalls of Following Frameworks
Avatar for Tech SEO Connect techseoconnect
PRO
1
64
Bash Introduction
Avatar for André Augusto Costa Santos 62gerente
615
210k
Groundhog Day: Seeking Process in Gaming for Health
Avatar for Sebastian Deterding codingconduct
0
92
Facilitating Awesome Meetings
Avatar for Lara Hogan lara
57
6.8k
The SEO identity crisis: Don't let AI make you average
Avatar for Varn varn
0
240
Lessons Learnt from Crawling 1000+ Websites
Avatar for Charles Meaden charlesmeaden
PRO
1
1.1k

Transcript

  1. Leslie Lamport

  2. Matemático e Cientista Computacional

  3. Sistemas Distribuídos

  4. Projetos LaTeX e TLA+

  5. www.lamport.org