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
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
都市の形成要因と 「都市の余白」のあり方
Avatar for S.SAKAMON sakamon
0
160
あなたの言葉に力を与える、演繹的なアプローチ
Avatar for Takuto Nagami logica0419
1
270
TinyGoをWebブラウザで動かすための方法+アルファ_20260201
Avatar for モブエンジニア（Masaki Okuda） masakiokuda
1
200
焦りと不安を、技術力に変える方法 - 新卒iOSエンジニアの失敗談と成長のフレームワーク
Avatar for 蛋白（たんぱく・TANPACT） hypebeans
1
650
AWS re_Invent に全力で参加したくて筋トレを頑張っている話
Avatar for amarelo_n24 amarelo_n24
2
120
【ベテランCTOからのメッセージ】AIとか組織とかキャリアとか気になることはあるけどさ、個人の技術力から目を背けないでやっていきましょうよ
Avatar for Toshiaki Baba netmarkjp
2
2.6k
1202
Avatar for cbtlibrary cbtlibrary
0
200
令和エンジニアの学習法 〜 生成AIを使って挫折を回避する 〜
Avatar for Yuduru moriga_yuduru
0
240
SJRC 2526
Avatar for cbtlibrary cbtlibrary
0
200
【洋書和訳：さよならを待つふたりのために】第2章　ガン特典と実存的フリースロー
Avatar for 柳沼諒平 yaginumatti
0
230
子どもが自立した学習者となるデジタルの活用について
Avatar for Naoki Kato naokikato
PRO
0
180
0121
Avatar for cbtlibrary cbtlibrary
0
120

Featured

See All Featured
Designing Powerful Visuals for Engaging Learning
Avatar for Mike Taylor tmiket
0
230
GraphQLとの向き合い方2022年版
Avatar for Yosuke Kurami quramy
50
14k
Navigating the moral maze — ethical principles for Al-driven product design
Avatar for Skipper Chong Warson skipperchong
2
240
Build The Right Thing And Hit Your Dates
Avatar for Maggie C. maggiecrowley
38
3k
SEOcharity - Dark patterns in SEO and UX: How to avoid them and build a more ethical web
Avatar for Sara Fernández Carmona sarafernandez
0
120
Ethics towards AI in product and experience design
Avatar for Skipper Chong Warson skipperchong
2
190
Applied NLP in the Age of Generative AI
Avatar for Ines Montani inesmontani
PRO
4
2k
Marketing to machines
Avatar for Jono Alderson jonoalderson
1
4.6k
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
Avatar for Michelle Schulp Hunt marktimemedia
31
2.7k
How GitHub (no longer) Works
Avatar for Zach Holman holman
316
140k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
Avatar for panda_program panda_program
122
21k
Building Experiences: Design Systems, User Experience, and Full Site Editing
Avatar for Michelle Schulp Hunt marktimemedia
0
410

Transcript

  1. Leslie Lamport

  2. Matemático e Cientista Computacional

  3. Sistemas Distribuídos

  4. Projetos LaTeX e TLA+

  5. www.lamport.org