Matematică Informatică teoretică Ştiinţă şi Discrete (CSDM)

Sponsorizat de:National ScienceFoundation De Stat din New Jersey

Abac

"Motorul analitic"         de Charles Babbage

Masina Turing

Dacă doriţi să aflaţi despre acest program şi activităţile noastre, urmaţi una dintre aceste link-uri sau de a citiinformaţii de fond.

• Informatică teoretică şi Seminarii Discrete Math
• Membrii actuali
• Pozitii postdoctorale
• FSN Granturi:PseudorandomnessCentrul pentru Computational refractar
  
  
• Legate de apropierea de seminarii
• Link-uri utile

Programul CSDM, care este în 11thyear sale, are două seminarii pe săptămână. Scopul principal al acestui program este de cercetare intensivă, de multe ori în cooperare cu termen scurt vizitatori şi localnici din instituţiile academice şi de cercetare, cum ar fi Princeton University,Centrul pentru Computational ireductibil, Universitatea Rutgers,DIMACS sauAT & T. Pentru mai multe informaţii, verificaţi paginileSeminarii şiOameni.

Activităţile anterioare ale programului CSDM pot fi găsite prin intermediul link-urile enumerate în bara laterală la dreapta.

Bine ati venit la pagina de pornire a programului special în informatică teoretică şi matematică discretă(TCS/ DM). 

Acest câmp este unul dintre domeniile cele mai vibrante şi activ de studiu ştiinţific astăzi. Pornind de o jumătate de secol în urmă, chiar înainte de computere exista, oamenii de ştiinţă teoretică de calculator prevăzute pentru a defini matematic noţiunea de "calcul", şi de a studia şi a puterii sale limite. Descoperiri teoretice de Alan Turing, John von Neumann(Institutul de facultate membru, 1933-1957) şi a contemporanilor lor a dus la construcţia în practică a programului de primul computer stocate la IAS, urmat de calculator "revoluţie" suntem martori astăzi. 

Utilizarea practică a computerelor şi, în acelaşi timp, profunzimea neaşteptate matematică a noţiunea abstractă de "calcul" au modificat semnificativ şi extins informatica teoretica. În ultimul sfert de veac le-a transformat într-un câmp bogată şi frumoasă, făcând conexiuni cu alte domenii şi atragerea de oameni de ştiinţă talentaţi tineri. Mai mult tehnic(dar încă la modă) descrieri de diverse aspecte legate pot fi găsite în aceste eseuri pe scurt: 

• Unele aspecte ale evoluţiei suferit de Informatica Teoretica, în ultimul sfert de veac 
• Privind relaţiile dintre TCS şi alte ştiinţe 
• Matematică discretă: Trecut, Prezent şi Viitor 

precum şi în articolul de zboruri

• P, NP şi matematică- o perspectivă complexitate de calcul

scris deAvi Wigderson  pentru Proceedings of the Congresul Internaţional al Matematicienilor din Madrid(2006).

TCS/ DM de la Institutul

"Mamă" discipline de la care Informatică teoretică şi matematică discretă a evoluat o dată au fost reprezentate la Institutul de John von Neumann(1933-1957) şi Kurt Godel(1953-1976). După un decalaj considerabil, la Scoala de Matematica a început să exploreze posibilitatea de a redeschide acest flux de cercetare la începutul anilor 1990 cu o serie de bine-primit de prelegeri oferite de cătreMichael Rabin şiRichard Karp.   anul 1993 a marcat deschiderea unei serie de programe experimental condus de cercetatori de renume din diferite peste tot în lume. În acelaşi an seminar pe săptămână(în prezent cunoscut sub numele deInformatica Teoretica si Seminarul Matematic Discrete) a fost stabilit. 

Programele de explorare s-au dovedit a fi destul de succes, atât ştiinţific şi educaţional, şi, de asemenea, au fost bine-primit de comunitatea matematică în afara Institutului. Astfel, sa decis să meargă înainte, şi în1997-1998 şi1998-1999, Noga Alon şiAvi Wigderson asumat conducerea de programe în continuare în combinatoricii şi complexitate computaţionale. 

Un angajament la prezenţa permanentă de Informatică teoretică şi matematică discretă a fost făcută de numire aAvi Wigderson în vedere poziţia facultatea nou create(1999). Acest eveniment marchează, de asemenea, la începutul oficial al programului TCS/ DM speciale. 

Aproape imediat(în anul universitar 2000-01) Programul a fost deţine unan deosebit de complexitatea Computationala, care a atrasbine-cunoscut cercetători în acest domeniu. Ca o altă parte a efortului de a obţine aceasta a stabilit, Alexandru Razborov a fost desemnat pentru a fi în şedere în calitate de membru senior în anii 2001-2006.

Activităţile anterioare pot fi găsite prin intermediul link-urile enumerate în bara laterală de mai sus în conformitate cuanii precedenţi.

Colaborări şi educaţie

Încă de la început, Programul CSDM a lucrat în strânsă colaborare cu apropierea de unităţi academice, precum şi cu grupurile de cercetare industrie. Lista de colaboratori nostru principal, în special, include:

• Centrul de matematică discretă şi de Informatica Teoretica(DIMACS)
• Catedra de Informatică de la Princeton University
• Centrul pentru Computational refractar
• NEC Institutul de Cercetare

Programul pune un accent deosebit pe aspectele educative. Sub auspiciile IAS/ Park City Institute, în vara anului 2000Avi Wigderson şiRudich Steven  (Carnegie-Mellon) a organizat Şcoala de vară Licenţiat în Complexitatea Computational. În fiecare an, programul urmăreşte cererile post-doctoral de la absolvirea doctorat în domeniile de Informatică teoretică şi matematică discretă.

• Mai multe informaţii despre poziţiile postdoctorale

Înapoi laînceputul paginii