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: 0+9

Intresserad av fler artiklar?

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

Senaste sökningarna

blanksteg har fått 886 sökningar. Den senaste gjordes 2020-07-10 07:59:33.

herde har fått 1020 sökningar. Den senaste gjordes 2020-07-10 07:50:25.

smiley har fått 1434 sökningar. Den senaste gjordes 2020-07-10 07:50:23.

nils har fått 1264 sökningar. Den senaste gjordes 2020-07-10 07:39:38.

skatt har fått 1415 sökningar. Den senaste gjordes 2020-07-10 07:31:30.

malakarl har fått 971 sökningar. Den senaste gjordes 2020-07-10 07:30:58.

aids har fått 1113 sökningar. Den senaste gjordes 2020-07-10 07:24:08.

maskopi har fått 1124 sökningar. Den senaste gjordes 2020-07-10 07:24:05.

tvillingar har fått 1095 sökningar. Den senaste gjordes 2020-07-10 07:24:01.

29 augusti har fått 977 sökningar. Den senaste gjordes 2020-07-10 07:23:57.

jobb har fått 1384 sökningar. Den senaste gjordes 2020-07-10 07:23:54.

rymdmått har fått 944 sökningar. Den senaste gjordes 2020-07-10 07:23:36.

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