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

Intresserad av fler artiklar?

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

Senaste sökningarna

fetischism har fått 1397 sökningar. Den senaste gjordes 2024-05-20 08:03:41.

syrgas har fått 1261 sökningar. Den senaste gjordes 2024-05-20 08:02:41.

melker har fått 1501 sökningar. Den senaste gjordes 2024-05-20 08:01:47.

shte har fått 1474 sökningar. Den senaste gjordes 2024-05-20 08:00:53.

union har fått 1699 sökningar. Den senaste gjordes 2024-05-20 07:59:04.

adrian har fått 1410 sökningar. Den senaste gjordes 2024-05-20 07:57:40.

boccaccio har fått 1674 sökningar. Den senaste gjordes 2024-05-20 07:57:30.

diskettstation har fått 1215 sökningar. Den senaste gjordes 2024-05-20 07:57:20.

de har fått 1691 sökningar. Den senaste gjordes 2024-05-20 07:56:52.

brödrost har fått 1966 sökningar. Den senaste gjordes 2024-05-20 07:56:08.

kvicksilver har fått 1423 sökningar. Den senaste gjordes 2024-05-20 07:56:00.

Lucas har fått 1468 sökningar. Den senaste gjordes 2024-05-20 07:55:32.

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