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
21
0

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

Other Decks in Education

See All in Education
Data Management and Analytics Specialisation
Avatar for Beat Signer signer
PRO
0
1.9k
[2026前期火５] 論理学（京都大学文学部 前期 第11回）「ハーモニー：三層モデルと保存拡大」
Avatar for Shunsuke Yatabe yatabe
0
220
Visionary Initiative: Future Intelligence 「未来の知性と社会の礎を築く」｜Science Tokyo（東京科学大学）
Avatar for Science Tokyo （東京科学大学） / Science Tokyo (Institute of Science Tokyo) sciencetokyo
PRO
0
1.2k
遊ぶかね欲しさの犯行（ルビ：労働）です
Avatar for ShirayanagiRyuji shirayanagiryuji
0
230
アラムコSTEAMチャレンジ　実践報告書
Avatar for みんなのコード codeforeveryone
0
200
自己紹介 / who-am-i
Avatar for Yohei Yasukawa yasulab
6
7.1k
解決策を教えても次期リーダーは育たない ─ 器の発達に伴走するために / Partnering with leaders in their vertical development
Avatar for mtskhs matsu0228
1
620
2026年度春学期　統計学　第15回　分布についての仮説を検証する ― 仮説検定（２） (2026. 7. 9)
Avatar for Akira Asano akiraasano
PRO
0
110
【デザイナー就活講座】 デザイナー就活市場・企業探し・ポートフォリオのポイント
Avatar for ko hasebe koheihasebe
0
410
2026年度春学期　統計学　第14回　分布についての仮説を検証する ― 仮説検定（１） (2026. 7. 2)
Avatar for Akira Asano akiraasano
PRO
0
130
輻射安全管理系統2.0暨輻防e++學園平台說明會
Avatar for NUSC aecrp
0
1.9k
Examen de Selectividad. Geografía julio 2026 (Convocatoria Extraordinaria). UCLM
Avatar for Juan Martín Martín juanmartin2026
1
12k

Featured

See All Featured
Believing is Seeing
Avatar for Spiro Bolos oripsolob
1
190
The Curse of the Amulet
Avatar for Matthew Lei leimatthew05
2
14k
Side Projects
Avatar for Sacha Greif sachag
455
43k
Cheating the UX When There Is Nothing More to Optimize - PixelPioneers
Avatar for Stéphanie Walter stephaniewalter
287
14k
世界の人気アプリ100個を分析して見えたペイウォール設計の心得
Avatar for Akihiro Kokubo akihiro_kokubo
PRO
73
41k
Chasing Engaging Ingredients in Design
Avatar for Sebastian Deterding codingconduct
0
270
How to audit for AI Accessibility on your Front & Back End
Avatar for davetheseo davetheseo
0
490
AI: The stuff that nobody shows you
Avatar for John Nunemaker jnunemaker
PRO
9
910
HDC tutorial
Avatar for Michiel Stock michielstock
2
790
Sam Torres - BigQuery for SEOs
Avatar for Tech SEO Connect techseoconnect
PRO
0
490
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
Avatar for Dan Newman danielanewman
230
23k
Navigating the Design Leadership Dip - Product Design Week Design Leaders+ Conference 2024
Avatar for Andy Polaine apolaine
1
390

Transcript

  1. Leslie Lamport

  2. Matemático e Cientista Computacional

  3. Sistemas Distribuídos

  4. Projetos LaTeX e TLA+

  5. www.lamport.org