Leslie Lamport - Riwayat revisi

Maintenance script: Pembersihan konten sesuai kebijakan Wiki Unissula

2026-09-09T06:24:44Z

Pembersihan konten sesuai kebijakan Wiki Unissula

← Revisi sebelumnya		Revisi per 9 September 2026 06.24
Baris 5:		Baris 5:
	Lamport adalah pemenang [[Penghargaan Turing]] 2013<ref>Leslie Lamport. [https://amturing.acm.org/award_winners/lamport_1205376.cfm Leslie Lamport - A.M. Turing Award Winner]. ACM. 2013.</ref> karena memaksakan koherensi yang jelas dan terdefinisi dengan baik pada perilaku yang tampaknya kacau dari sistem [[komputasi terdistribusi]], di mana beberapa komputer otonom berkomunikasi satu sama lain dengan mengirimkan pesan. Dia menyusun [[algoritma]] penting dan mengembangkan [[Bahasa formal\|pemodelan formal]] dan protokol verifikasi yang meningkatkan kualitas sistem terdistribusi nyata. Kontribusi ini telah menghasilkan peningkatan kebenaran, kinerja, dan keandalan sistem komputer.<ref>[https://id.wikipedia.org/w/index.php?title=Leslie+Lamport&oldid=29299416 sumber pada Wikipedia bahasa Indonesia]</ref><ref>L. Lamport. [http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf Time, clocks, and the ordering of events in a distributed system]. ''Communications of the ACM''. 1978. Vol. 21 (7). hlm. 558–565. doi:10.1145/359545.359563.</ref><ref>[https://id.wikipedia.org/w/index.php?title=Leslie+Lamport&oldid=29299416 sumber pada Wikipedia bahasa Indonesia]</ref><ref>N. Savage. ''General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended''. ''Communications of the ACM''. 2014. Vol. 57 (6). hlm. 22–23. doi:10.1145/2601076.</ref><ref>L. Hoffmann. ''Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems''. ''Communications of the ACM''. 2014. Vol. 57 (6). hlm. 112–ff. doi:10.1145/2601077.</ref>		Lamport adalah pemenang [[Penghargaan Turing]] 2013<ref>Leslie Lamport. [https://amturing.acm.org/award_winners/lamport_1205376.cfm Leslie Lamport - A.M. Turing Award Winner]. ACM. 2013.</ref> karena memaksakan koherensi yang jelas dan terdefinisi dengan baik pada perilaku yang tampaknya kacau dari sistem [[komputasi terdistribusi]], di mana beberapa komputer otonom berkomunikasi satu sama lain dengan mengirimkan pesan. Dia menyusun [[algoritma]] penting dan mengembangkan [[Bahasa formal\|pemodelan formal]] dan protokol verifikasi yang meningkatkan kualitas sistem terdistribusi nyata. Kontribusi ini telah menghasilkan peningkatan kebenaran, kinerja, dan keandalan sistem komputer.<ref>[https://id.wikipedia.org/w/index.php?title=Leslie+Lamport&oldid=29299416 sumber pada Wikipedia bahasa Indonesia]</ref><ref>L. Lamport. [http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf Time, clocks, and the ordering of events in a distributed system]. ''Communications of the ACM''. 1978. Vol. 21 (7). hlm. 558–565. doi:10.1145/359545.359563.</ref><ref>[https://id.wikipedia.org/w/index.php?title=Leslie+Lamport&oldid=29299416 sumber pada Wikipedia bahasa Indonesia]</ref><ref>N. Savage. ''General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended''. ''Communications of the ACM''. 2014. Vol. 57 (6). hlm. 22–23. doi:10.1145/2601076.</ref><ref>L. Hoffmann. ''Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems''. ''Communications of the ACM''. 2014. Vol. 57 (6). hlm. 112–ff. doi:10.1145/2601077.</ref>

	~~== Kehidupan awal dan pendidikan ==~~
	Lamport lahir dalam keluarga Yahudi di Brooklyn, New York, putra Benjamin dan Hannah Lamport (Née Lasser).<ref>[https://www.ancestry.com/sharing/29423677?h=e279f6 1950 United States Federal Census]. Ancestry.com.</ref> Ayahnya adalah seorang imigran dari Volkovisk di [[Kekaisaran Rusia]] (sekarang [[Vawkavysk]], [[Belarusia]])<ref>[https://www.ancestry.com/sharing/29423768?h=47dd82 World War I draft card for Benjamin Lamport]. Ancestry.com.</ref> dan ibunya adalah seorang imigran dari [[Austria-Hungaria\|Kekaisaran Austro-Hungaria]], sekarang Polandia tenggara.

	Lulusan [[Sekolah Tinggi Sains Bronx\|Bronx High School of Science]], Lamport menerima gelar [[Sarjana\|BS]] dalam [[matematika]] dari [[Institut Teknologi Massachusetts]] pada tahun 1960, diikuti oleh [[Magister\|MA]] (1963) dan [[Doktor Filsafat\|Ph.D.]] (1972) gelar di bidang matematika dari [[Universitas Brandeis]].<ref>Leslie Lamport. [https://research.microsoft.com/users/lamport/pubs/pubs.html My Writings]. 2006-12-19.</ref> Disertasinya tentang singularitas dalam [[persamaan diferensial parsial]] analitik.<ref>Leslie Lamport. [https://research.microsoft.com/users/lamport/pubs/pubs.html#thesis The Analytic Cauchy Problem with Singular Data]. 1972.</ref>		Lulusan [[Sekolah Tinggi Sains Bronx\|Bronx High School of Science]], Lamport menerima gelar [[Sarjana\|BS]] dalam [[matematika]] dari [[Institut Teknologi Massachusetts]] pada tahun 1960, diikuti oleh [[Magister\|MA]] (1963) dan [[Doktor Filsafat\|Ph.D.]] (1972) gelar di bidang matematika dari [[Universitas Brandeis]].<ref>Leslie Lamport. [https://research.microsoft.com/users/lamport/pubs/pubs.html My Writings]. 2006-12-19.</ref> Disertasinya tentang singularitas dalam [[persamaan diferensial parsial]] analitik.<ref>Leslie Lamport. [https://research.microsoft.com/users/lamport/pubs/pubs.html#thesis The Analytic Cauchy Problem with Singular Data]. 1972.</ref>

Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

2026-08-23T04:07:21Z

Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

← Revisi sebelumnya		Revisi per 23 Agustus 2026 04.07
Baris 1:		Baris 1:
	~~'''Leslie B. Lamport''' (lahir 7 Februari 1941 di~~ [[~~Brooklyn]]) adalah seorang [[ilmuwan komputer]] dan [[matematikawan]] Amerika~~. Lamport ~~terkenal karena karya seminalnya dalam [[Komputasi terdistribusi\|sistem terdistribusi]], dan sebagai pengembang awal sistem persiapan dokumen [[LaTeX~~]] ~~dan penulis manual pertamanya.~~		[[File:Leslie_Lamport.jpg\|thumb\|right\|280px\|Leslie Lamport]]

	Lamport adalah pemenang [[Penghargaan Turing]] 2013 karena memaksakan koherensi yang jelas dan terdefinisi dengan baik pada perilaku yang tampaknya kacau dari sistem [[komputasi terdistribusi]], di mana beberapa komputer otonom berkomunikasi satu sama lain dengan mengirimkan pesan. Dia menyusun [[algoritma]] penting dan mengembangkan [[Bahasa formal\|pemodelan formal]] dan protokol verifikasi yang meningkatkan kualitas sistem terdistribusi nyata. Kontribusi ini telah menghasilkan peningkatan kebenaran, kinerja, dan keandalan sistem komputer.		'''Leslie B. Lamport''' (lahir 7 Februari 1941 di [[Brooklyn]]) adalah seorang [[ilmuwan komputer]] dan [[matematikawan]] Amerika. Lamport terkenal karena karya seminalnya dalam [[Komputasi terdistribusi\|sistem terdistribusi]], dan sebagai pengembang awal sistem persiapan dokumen [[LaTeX]] dan penulis manual pertamanya.<ref>Leslie Lamport. ''LaTeX: A Document Preparation System''. Addison-Wesley. 1986. ISBN 978-0-201-15790-1.</ref>

			Lamport adalah pemenang [[Penghargaan Turing]] 2013<ref>Leslie Lamport. [https://amturing.acm.org/award_winners/lamport_1205376.cfm Leslie Lamport - A.M. Turing Award Winner]. ACM. 2013.</ref> karena memaksakan koherensi yang jelas dan terdefinisi dengan baik pada perilaku yang tampaknya kacau dari sistem [[komputasi terdistribusi]], di mana beberapa komputer otonom berkomunikasi satu sama lain dengan mengirimkan pesan. Dia menyusun [[algoritma]] penting dan mengembangkan [[Bahasa formal\|pemodelan formal]] dan protokol verifikasi yang meningkatkan kualitas sistem terdistribusi nyata. Kontribusi ini telah menghasilkan peningkatan kebenaran, kinerja, dan keandalan sistem komputer.<ref>[https://id.wikipedia.org/w/index.php?title=Leslie+Lamport&oldid=29299416 sumber pada Wikipedia bahasa Indonesia]</ref><ref>L. Lamport. [http://research.microsoft.com/users/lamport/pubs/time-clocks.pdf Time, clocks, and the ordering of events in a distributed system]. ''Communications of the ACM''. 1978. Vol. 21 (7). hlm. 558–565. doi:10.1145/359545.359563.</ref><ref>[https://id.wikipedia.org/w/index.php?title=Leslie+Lamport&oldid=29299416 sumber pada Wikipedia bahasa Indonesia]</ref><ref>N. Savage. ''General agreement: Leslie Lamport contributed to the theory and practice of building distributed computing systems that work as intended''. ''Communications of the ACM''. 2014. Vol. 57 (6). hlm. 22–23. doi:10.1145/2601076.</ref><ref>L. Hoffmann. ''Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems''. ''Communications of the ACM''. 2014. Vol. 57 (6). hlm. 112–ff. doi:10.1145/2601077.</ref>

	== Kehidupan awal dan pendidikan ==		== Kehidupan awal dan pendidikan ==
	Lamport lahir dalam keluarga Yahudi di Brooklyn, New York, putra Benjamin dan Hannah Lamport (Née Lasser). Ayahnya adalah seorang imigran dari Volkovisk di [[Kekaisaran Rusia]] (sekarang [[Vawkavysk]], [[Belarusia]]) dan ibunya adalah seorang imigran dari [[Austria-Hungaria\|Kekaisaran Austro-Hungaria]], sekarang Polandia tenggara.		Lamport lahir dalam keluarga Yahudi di Brooklyn, New York, putra Benjamin dan Hannah Lamport (Née Lasser).<ref>[https://www.ancestry.com/sharing/29423677?h=e279f6 1950 United States Federal Census]. Ancestry.com.</ref> Ayahnya adalah seorang imigran dari Volkovisk di [[Kekaisaran Rusia]] (sekarang [[Vawkavysk]], [[Belarusia]])<ref>[https://www.ancestry.com/sharing/29423768?h=47dd82 World War I draft card for Benjamin Lamport]. Ancestry.com.</ref> dan ibunya adalah seorang imigran dari [[Austria-Hungaria\|Kekaisaran Austro-Hungaria]], sekarang Polandia tenggara.

	Lulusan [[Sekolah Tinggi Sains Bronx\|Bronx High School of Science]], Lamport menerima gelar [[Sarjana\|BS]] dalam [[matematika]] dari [[Institut Teknologi Massachusetts]] pada tahun 1960, diikuti oleh [[Magister\|MA]] (1963) dan [[Doktor Filsafat\|Ph.D.]] (1972) gelar di bidang matematika dari [[Universitas Brandeis]]. Disertasinya tentang singularitas dalam [[persamaan diferensial parsial]] analitik.		Lulusan [[Sekolah Tinggi Sains Bronx\|Bronx High School of Science]], Lamport menerima gelar [[Sarjana\|BS]] dalam [[matematika]] dari [[Institut Teknologi Massachusetts]] pada tahun 1960, diikuti oleh [[Magister\|MA]] (1963) dan [[Doktor Filsafat\|Ph.D.]] (1972) gelar di bidang matematika dari [[Universitas Brandeis]].<ref>Leslie Lamport. [https://research.microsoft.com/users/lamport/pubs/pubs.html My Writings]. 2006-12-19.</ref> Disertasinya tentang singularitas dalam [[persamaan diferensial parsial]] analitik.<ref>Leslie Lamport. [https://research.microsoft.com/users/lamport/pubs/pubs.html#thesis The Analytic Cauchy Problem with Singular Data]. 1972.</ref>

	== Referensi ==		== Referensi ==
			<references />

			== Sumber dan atribusi ==

			Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Leslie+Lamport&oldid=29299416 Wikipedia bahasa Indonesia], revisi 29299416 (2026-05-31T21:53:26Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Gambar pada artikel ini bersumber dari Wikimedia Commons dan mengikuti ketentuan lisensi masing-masing berkas. Mohon gunakan konten dan media secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

	~~== Sumber dan atribusi ==~~		<!-- WIKI_UNISSULA_PRESENTATION_V4 -->

	~~Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Leslie+Lamport&oldid=29299416 Wikipedia bahasa Indonesia], revisi 29299416 (2026~~-05-~~31T21:53:26Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi~~-~~BerbagiSerupa (CC BY~~-~~SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.~~

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29299416; atribusi sumber disertakan.

2026-08-23T03:30:07Z

Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29299416; atribusi sumber disertakan.

Halaman baru

'''Leslie B. Lamport''' (lahir 7 Februari 1941 di [[Brooklyn]]) adalah seorang [[ilmuwan komputer]] dan [[matematikawan]] Amerika. Lamport terkenal karena karya seminalnya dalam [[Komputasi terdistribusi|sistem terdistribusi]], dan sebagai pengembang awal sistem persiapan dokumen [[LaTeX]] dan penulis manual pertamanya.

Lamport adalah pemenang [[Penghargaan Turing]] 2013 karena memaksakan koherensi yang jelas dan terdefinisi dengan baik pada perilaku yang tampaknya kacau dari sistem [[komputasi terdistribusi]], di mana beberapa komputer otonom berkomunikasi satu sama lain dengan mengirimkan pesan. Dia menyusun [[algoritma]] penting dan mengembangkan [[Bahasa formal|pemodelan formal]] dan protokol verifikasi yang meningkatkan kualitas sistem terdistribusi nyata. Kontribusi ini telah menghasilkan peningkatan kebenaran, kinerja, dan keandalan sistem komputer.

== Kehidupan awal dan pendidikan ==
Lamport lahir dalam keluarga Yahudi di Brooklyn, New York, putra Benjamin dan Hannah Lamport (Née Lasser). Ayahnya adalah seorang imigran dari Volkovisk di [[Kekaisaran Rusia]] (sekarang [[Vawkavysk]], [[Belarusia]]) dan ibunya adalah seorang imigran dari [[Austria-Hungaria|Kekaisaran Austro-Hungaria]], sekarang Polandia tenggara.

Lulusan [[Sekolah Tinggi Sains Bronx|Bronx High School of Science]], Lamport menerima gelar [[Sarjana|BS]] dalam [[matematika]] dari [[Institut Teknologi Massachusetts]] pada tahun 1960, diikuti oleh [[Magister|MA]] (1963) dan [[Doktor Filsafat|Ph.D.]] (1972) gelar di bidang matematika dari [[Universitas Brandeis]]. Disertasinya tentang singularitas dalam [[persamaan diferensial parsial]] analitik.

== Referensi ==

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Leslie+Lamport&oldid=29299416 Wikipedia bahasa Indonesia], revisi 29299416 (2026-05-31T21:53:26Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.