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+8

Intresserad av fler artiklar?

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

Senaste sökningarna

människoapor har fått 1155 sökningar. Den senaste gjordes 2020-10-31 22:35:12.

halvljus har fått 1048 sökningar. Den senaste gjordes 2020-10-31 22:34:49.

skelettcancer har fått 2615 sökningar. Den senaste gjordes 2020-10-31 22:25:11.

reaktionskraft har fått 1184 sökningar. Den senaste gjordes 2020-10-31 22:22:22.

ångmaskin har fått 1047 sökningar. Den senaste gjordes 2020-10-31 22:14:37.

infektion har fått 1140 sökningar. Den senaste gjordes 2020-10-31 22:07:27.

lpi har fått 1220 sökningar. Den senaste gjordes 2020-10-31 22:05:11.

mysql har fått 1277 sökningar. Den senaste gjordes 2020-10-31 22:01:54.

silva har fått 1288 sökningar. Den senaste gjordes 2020-10-31 22:00:16.

Bög har fått 1217 sökningar. Den senaste gjordes 2020-10-31 21:37:32.

flygblad har fått 893 sökningar. Den senaste gjordes 2020-10-31 21:31:34.

fotbollsplan har fått 940 sökningar. Den senaste gjordes 2020-10-31 21:31:18.

Designed by: template world
Learning4sharing.nu
All Rights Reserved. 0.23 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.