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

Leslie Lamport

Avatar for Gabriel Nunes Gabriel Nunes
June 01, 2018
Education
0
18

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
Test-NUTMEG紹介スライド
Avatar for Mugicha mugiiicha
0
160
社外コミュニティと「学び」を考える
Avatar for Ryotaro Harada alchemy1115
2
180
2026 g0v 零時政府年會啟動提案 / g0v Summit 2026 Kickstart
Avatar for Poren Chiang rschiang
0
270
AIの時代こそ、考える知的学習術
Avatar for YUM3 yum3
2
200
Open Source Summit Japan 2025のボランティアをしませんか
Avatar for Kujiraitakahiro kujiraitakahiro
0
830
Ch1_-_Partie_1.pdf
Avatar for Monsieur Bernhard bernhardsvt
0
220
新卒研修に仕掛ける 学びのサイクル / Implementing Learning Cycles in New Graduate Training
Avatar for takashi takashi_toyosaki
1
220
2025年度春学期　統計学　第9回　確からしさを記述する ー 確率 (2025. 6. 5)
Avatar for Akira Asano akiraasano
PRO
0
150
20250611_なんでもCopilot1年続いたぞ～
Avatar for ponponmikan ponponmikankan
0
170
AI for Learning
Avatar for Kamolphan Liwprasert fonylew
0
180
Case Studies and Course Review - Lecture 12 - Information Visualisation (4019538FNR)
Avatar for Beat Signer signer
PRO
1
2.1k
American Airlines® USA Contact Numbers: The Ultimate 2025 Guide
Avatar for liev lievliev
0
250

Featured

See All Featured
Why You Should Never Use an ORM
Avatar for John Nunemaker jnunemaker
PRO
59
9.5k
Statistics for Hackers
Avatar for Jake VanderPlas jakevdp
799
220k
Scaling GitHub
Avatar for Zach Holman holman
463
140k
How to Think Like a Performance Engineer
Avatar for Harry Roberts csswizardry
26
1.9k
What’s in a name? Adding method to the madness
Avatar for Product Marketing Alliance productmarketing
PRO
23
3.7k
Distributed Sagas: A Protocol for Coordinating Microservices
Avatar for Caitie McCaffrey caitiem20
333
22k
Side Projects
Avatar for Sacha Greif sachag
455
43k
RailsConf 2023
Avatar for Aaron Patterson tenderlove
30
1.2k
Building a Scalable Design System with Sketch
Avatar for Laura Van Doore lauravandoore
462
33k
Gamification - CAS2011
Avatar for David Bonilla davidbonilla
81
5.4k
Bash Introduction
Avatar for André Augusto Costa Santos 62gerente
615
210k
BBQ
Avatar for Matthew Crist matthewcrist
89
9.8k

Transcript

  1. Leslie Lamport

  2. Matemático e Cientista Computacional

  3. Sistemas Distribuídos

  4. Projetos LaTeX e TLA+

  5. www.lamport.org