Start Logga In Skriv Artikel Om Oss
Vad söker du?
Allt om 'Leslie Lamport'

Leslie Lamport

Leslie Lamport, datalog, matematiker. Välkänd för sin forskning inom distribuerade system och realtidssystem (bl.a. på grund av sin artikel Time, Clocks, and the Ordering of Events in a DistributedSystem från år1978). Han är också upphovsman till den välkända TeX-utökningen LaTeX (förstavelsen La är alltså inte bara en referens till en viss gummiprodukt). Han själv tror dock att det han kommer att bli ihågkommen för om hundra år är hans förslag till ett nytt sätt att skriva matematiska bevis. Han menar att det nuvarande sättet knappt har ändrats på 300 år och varken är lättläst eller strukturerat.

Tog år1960 en bachelorexamen i matematik från MIT och fortsatte sedan på Brandeis University där han år1972 doktorerade i samma ämne. Sedan dess har han jobbat på Massachusetts Computer Associates (år1970 - år1977), SRI International (år1977 - år1985), Digital Equipment Corporation Systems Research Center i Palo Alto (år1985 - år2001). Sedan år2001 jobbar Lamport på Microsoft Research i Kalifornien.

Böcker:

  • LaTeX - A Document Preparation System

Länkar:

  • från Mitteilungen der Deutschen Mathematiker-Vereinigung i PDF-format

Redigera?

Artikeln skriven 2009-01-17 av Learning4sharing

Inga kategorier för denna artikel än...

Vi behhöver hjälp att kategorisera våra artiklar. Kan du skriva ett nyckelord för denna artikel? Du kan skriva upp till 3 olika nyckelord för denna artikel, vi uppskattar din hjälp!

Skriv nyckelord som du tycker beskriver denna artikel på ett bra sätt. Du kan ange 3 olika nyckelord för denna artikel, max 20 tecken per nyckelord.

  1. Lägg till fler
    Skriv in svaret på frågan: 3+1

Intresserad av fler artiklar?

George Orwell
Usenet
Scott Adams
Norr
Söder
Livsmedel
Kommunfullmäktige
Etrusker
Kritiska dagar

Senaste sökningarna

storm har fått 1602 sökningar. Den senaste gjordes 2020-09-28 00:56:31.

tonen har fått 950 sökningar. Den senaste gjordes 2020-09-28 00:55:19.

lån har fått 971 sökningar. Den senaste gjordes 2020-09-28 00:54:12.

czardasfurstinnan har fått 1124 sökningar. Den senaste gjordes 2020-09-28 00:53:57.

tautologi har fått 915 sökningar. Den senaste gjordes 2020-09-28 00:48:41.

bryggeri har fått 1119 sökningar. Den senaste gjordes 2020-09-28 00:38:50.

styrbjörn har fått 895 sökningar. Den senaste gjordes 2020-09-28 00:36:18.

homosexuella har fått 1218 sökningar. Den senaste gjordes 2020-09-28 00:34:37.

kavaj har fått 1143 sökningar. Den senaste gjordes 2020-09-28 00:33:29.

socialism har fått 1421 sökningar. Den senaste gjordes 2020-09-28 00:31:27.

uralstring har fått 1089 sökningar. Den senaste gjordes 2020-09-28 00:27:38.

monaco har fått 972 sökningar. Den senaste gjordes 2020-09-28 00:23:09.

Designed by: template world
Learning4sharing.nu
All Rights Reserved. 0.25 SEK

Logga in

Välkommen att redigera och skriva nya artiklar!

Ingent Konto?

Skaffa konto för att redigera och skapa nya ariklar Nytt Konto.

Ny Användare

Välkommen att redigera och skriva nya artiklar! Skapa konto nedan.


Ett verifieringsmail kommer att skickas till din E-post som du måste öppna och verifiera din E-post med

Lägg till artikel

Du är inte inloggad.

Logga In eller Skapa konto.