????? ???????

????? ???????
( ??????????? : Leslie Lamport )?
??????? ?????
???????	7 ?????? 1941 (83 ???) ; ???????
??????	???????? ???????
??? ??	?????????? ??????? ?????? ? ??????????? ????????? ?????? ???????
?????? ???????
??????? ????	???? ?????????? ??????? (??????: ??????? ) (???????: ????????? ?????? ) ; ????? ??????? (??????: ??????? ) (???????: ??????? ??????? ? ??????? ?????? ) ; ?????? ???????? ?????? ‏
????? ??????	??????? ?????? ? ???????? ???????
??????	???????? ? ????? ????? ? ?????? ? ?????? ? ?????
????? ????	??????????
??????	??????????
???? ?????	??? ??????? ? ?????? ?????
???? ??	???? ????? ? ???????? ???????? ? ????? ???????? ??????? ? ????? ????? ??????????
????? ?????	????? ????? ? ?????
???????
	????? ????? ????? ??????? (2014) ; ????? ??????? (2014) ; ????? ????? (2013) ; ??????? ??? ??? ?????? ?? ????? ?????? ???????? ????????????? (2008) ; ??????? ????? ‏ (2007) ; ??????? ????? ‏ (2006) ; ????? ??????? (2005) ; ????????? ??????? ?? ????? ????? ????????? ?????? ????????? (2004) ; ????? ??????? (2000) ; ????????? ??????? ?? ????? ????? ????????? ?????? ?????????
???????
??????	?????? ??????
	????? ????? - ?????

????? ??????? ( ??????????? : Leslie Lamport )?? ?? ?????? 17 ?????? 1941 ( 1941-02-17 ) ? ?? ????? ??????? ? ???? ????? ?????? ? ?? ??????? ?? ??? ???????? ??? ????? ????? ??? ???????? ???????? ??? ??? ???? ??? ?? ????? ??????? ???????? . ^[7]^[8]^[9]

?????? [ ??? ]

??????? ??? ??? ?????? 2004.
????? ?????????
????? ????? 2013

????? [ ??? ]

^ Encyclopædia Britannica | Leslie Lamport (???????????), QID : Q5375741
^ "Computing Expert Says Programmers Need More Math | Quanta Magazine" (???????????) . Retrieved 2022-06-07 .
^ "Leslie Lamport" (???????????). Association for Computing Machinery . Retrieved 2020-01-21 .
^ "Leslie Lamport - A.M. Turing Award Laureate" (???????????). Association for Computing Machinery . Retrieved 2020-01-21 .
^ "Leslie Lamport" (???????????). Association for Computing Machinery . Retrieved 2020-01-21 .
^ https://www.ieee.org/about/awards/bios/vonneumann-recipients.html#2019%20-%20Eva%20Tardos . {{ ??????? ??? }}: |url= ????? ?????? ( ?????? ) ? ?????? |title= ??? ????? ?? ???? (?? ???? ??????) ( ?????? )
^ Lamport? Leslie (???? 1994). "The Temporal Logic of Actions" . ACM Transactions on Programming Languages and Systems . ?. 16 ?. 3: 872?923. DOI : 10.1145/177492.177726 . ????? ?? ????? ?? 2012-11-05 . ???? ???? ?????? 2007-02-02 .
^ Leslie Lamport ACM Fellows 2014 ???? ?????? 30 ???? 2017 ??? ???? ??? ??? ???? .
^ Hoffmann? L. (2014). "Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems". Communications of the ACM . ?. 57 ?. 6: 112?ff. DOI : 10.1145/2601077 .

?? ????? ??? ?????? ??: ????? ???????

??? ???? ????? ?? ???? ?????? ????? ???????. ????? ???? ?? ???????.

[wikidata-6cb290480bade75c545f2cb4442beaa9f493d2cd-1] Encyclopædia Britannica | Leslie Lamport (???????????), QID : Q5375741

[wikidata-d06e32ad13d2530021cf52a3adc024c061661c02-2] "Computing Expert Says Programmers Need More Math | Quanta Magazine" (???????????) . Retrieved 2022-06-07 .

[wikidata-6f99d62ab9360ea39920dcac008f62f44c6e61eb-3] "Leslie Lamport" (???????????). Association for Computing Machinery . Retrieved 2020-01-21 .

[wikidata-6c9d313146ca61fd53d20ebc6b8307e16b0b59f4-4] "Leslie Lamport - A.M. Turing Award Laureate" (???????????). Association for Computing Machinery . Retrieved 2020-01-21 .

[wikidata-4a580c2a768e37b2447fcdab53fbdd4605e886c1-5] "Leslie Lamport" (???????????). Association for Computing Machinery . Retrieved 2020-01-21 .

[wikidata-6315d4833c8e13d1358d59a82544e7414b5d3b67-6] ttps://www.ieee.org/about/awards/bios/vonneumann-recipients.html#2019%20-%20Eva%20Tardos . {{ ??????? ??? }}: |url= ????? ?????? ( ?????? ) ? ?????? |title= ??? ????? ?? ???? (?? ???? ??????) ( ?????? )

[7] Lamport? Leslie (???? 1994). "The Temporal Logic of Actions" . ACM Transactions on Programming Languages and Systems . ?. 16 ?. 3: 872?923. DOI : 10.1145/177492.177726 . ????? ?? ????? ?? 2012-11-05 . ???? ???? ?????? 2007-02-02 .

[8] Leslie Lamport ACM Fellows 2014 ???? ?????? 30 ???? 2017 ??? ???? ??? ??? ???? .

[9] Hoffmann? L. (2014). "Q&A Divide and Conquer: Leslie Lamport on Byzantine generals, clocks, and other tools for reasoning about concurrent systems". Communications of the ACM . ?. 57 ?. 6: 112?ff. DOI : 10.1145/2601077 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

? ? ? ???????? ?????? ?????
??? 1960	???? ?????? (1966) ????? ????? (1967) ??????? ?????? (1968) ????? ?????? (1969)
??? 1970	???? ???????? (1970) ??? ?????? (1971) ?????? ???????? (1972) ?????? ??????? (1973) ?????? ????? (1974) ??? ????? / ?????? ????? (1975) ????? ????? / ???? ???? (1976) ??? ????? (1977) ????? ????? (1978) ????? ??????? (1979)
??? 1980	???? ??? (1980) ????? ??? (1981) ????? ??? (1982) ??? ????? / ????? ????? (1983) ??????? ???? (1984) ??????? ???? (1985) ??? ???????? / ????? ?????? (1986) ??? ??? (1987) ????? ??????? (1988) ????? ????? (1989)
??? 1990	??????? ??????? (1990) ???? ????? (1991) ???? ??????? (1992) ????? ????????? / ??????? ?????? (1993) ?????? ??????? / ??? ???? (1994) ?????? ???? (1995) ???? ????? (1996) ?????? ????????? (1997) ??? ???? (1998) ???? ????? (1999)
??? 2000	????? ??? (2000) ???? ????? ??? / ??????? ?????? (2001) ?????? ????? / ??? ????? / ??????? ??????? (2002) ???? ??? (2003) ???? ???? / ????? ??? (2004) ???? ???? (2005) ??????? ???????? (2006) ?????? ????? / ???? ??????? / ????? ??????? (2007) ??????? ????? (2008) ?????? ???? (2009)
??? 2010	????? ?????? (2010) ????? ????? (2011) ??????? ???????? / ?????? ?????? (2012) ????? ??????? (2013) ??????? ????????? (2014) ??????? ???? / ????? ?????? (2015) ??? ?????? ?? (2016) ??? ?????? / ????? ??????? (2017) ????? ????? / ?????? ?????? / ??? ????? (2018) ????? ?????? / ??? ???????? (2019)
??? 2020	????? ??? / ????? ?????? (2020) ??? ??????? (2021) ????? ??????? (2022) ??? ??????? (2023)