wmb

  • Kurt Gödel Research Center for Mathematical Logic at the University of Vienna, lectures from the pas
    Kurt Gödel Research Center for Mathematical Logic at the University of Vienna, lectures from the past Kurt Gödel Research Center for Mathematical Logic at the University of Vienna Lectures from previous semesters Summer 2009 Winter 2008/2009 Summer 2008 Winter 2007/2008 Summer 2007 Winter 2006/2007 Summer 2006 Winter 2005/2006 (01.10.05–28.02.06) See also: Official catalogue Ort: UZA 2, Hörsaal 1 Grundbegriffe der Mathematischen Logik, Jakob Kellner , VO 2 h Mi 11.00-13.00 (starts 2005-10-05). ...
    http://www.logic.univie.ac.at/previouslectures.html
  • vorläufig!
    ... s coding theorem Übertragung von Information durch verrauschte Kanäle, Fehlerkorrektur-Algorithmen, Shannon's error correction theorem Klassische Theorie des Computers Turing-Maschine Computational Complexity Informationstheoretische Aspekte der Quantenmechanik Der Hilbertraum, Observablen, Wahrscheinlichkeitsinterpretation, Schrödinger-Gleichung und Messpostulat der Quantenmechanik Zusammengesetzte Quantensysteme: Tensorprodukt von ... Information, Teleportationsrate Quanteninformationsverarbeitung Bits und Qubits Quantum Gates No cloning theorem Verschränkung und dense coding Quantum Cryptography Algorithmen für den Quanten-Computer Simulation physikalischer Systeme Der Shor-Algorithmus Der Grover-Suchalgorithmus Experimentelle Realisierungen Ionenfallen Nuklearmagnetische Resonanz High-Q optische Kavitäten Fehlerkorrektur ...
    http://www.physik.uni-freiburg.de/Fakultaet/alte/kmvrls00.htm
  • http://www.physik.tu-berlin.de/~pomplun/thesis_short.pdf
    ... atomare L¨angeneinheiten erreichen und die physikalischen Vorg¨ange nur noch mit quantenmechanischen Gesetzen beschrieben werden k¨onnen [1]. Ein Quanten- computer dagegen ist dieser Einschr¨ankung nicht unterworfen und kann die Prinzipien der Quantenmechanik inh¨arent ausnutzen. Deutsch zeigte 1985 ... 2]. Damit war klar, daß ein solcher Quantencomputer mehr F¨ahigkeiten besitzen muß als ein klassischer Computer, denn eine klassische Turing-Maschine ist nicht in der Lage, Quantensysteme effizient zu simulieren, ein Quantencomputer jedoch schon [3, 4]. Ein gesteigertes Interesse ... ...
    http://www.physik.tu-berlin.de/~pomplun/thesis_short.pdf
  • Lehrstuhl für Theoretische Informatik: Theoretische Informatik
    ... Möglichkeiten des automatisierten Beweisens und Lösens von Aufgaben drehte. Höhepunkte in diesem Zusammenhang stellten die Arbeiten von Gödel, Turing oder Church dar. Auf einmal war es notwendig, den Begriff des Algorithmus formal zu fassen, und Alan Turing lieferte eine Definition, die bis heute Wichtigkeit und Gültigkeit besitzt. Die Theoretische Informatik beschäftigt sich mit Fragen zu prinzipiellen Möglichkeiten ... wichtigsten Resultate. Dabei werden vor allem folgende Themen behandelt: Welche Probleme sind durch (Rechen-)Maschinen lösbar? Welche Ressourcen benötigt eine Maschine zur Lösung eines konkreten Problems? Aus welchen einfachsten logischen Bausteinen lassen sich beliebig komplexe Verknüpfungen aufbauen? Nach welchen Prinzipien sind ...
    http://theoretische.informatik.uni-wuerzburg.de/lehre/regelmaessig_angebotene_lehrveranstaltungen/theoretische_informatik/
  • Michael Bunk / Buch: Das Große, das Kleine und der menschliche Geist
    ... Ebenen des Verstehens" verschaffen könnte, wie wir es ja auch tun, daran denkt er nicht. Dann erzählt er von der Turing-Maschine (hier eine Simulation ), mathematischen Vermutungen und nicht endenden Berechnungen. Warum soll ein Computer sich nicht wundern, daß eines seiner Tasks ... das Programm abhängig von der Eingabezahl umschreibt ? Wenn es sich das Unberechenbare einverleibt? Tun wir nicht das gleiche? Er zitiert Turing: Anders gesagt, eine Maschine kann dann, wenn erwartet wird, daß sie unfehlbar ist, nicht auch intelligent sein. Es gibt mehrere Sätze, die fast genau ... ...
    http://www.imn.htwk-leipzig.de/~bunk/books/DasGrosseDasKleineundderGeist.htm
  • Seminar Geschichte der Rechentechnik und der Computer - Bereich Geschichte der Naturwissenschaften,
    ... im Museum der Arbeit Rechenscheiben, Rechenwalzen Proportional-/Reduktionszirkel, Planimeter, Integraph, Harmonischer Analysator Rechenmaschinen des 17. und 18. Jahrhunderts: Vier-Spezies-Maschine (1623) von Wilhelm Schickard (1592-1635) 1642 ,,Pascaline'', Samuel Morland 1668, Leibniz 1673 - erste Vier-Spezies-Maschine, Staffelwalzenprinzip, 1703 binäres Zahlensystem (Dualsystem) Philipp Matthäus Hahn 1774 Charles Xavier Thomas 1820 und die weitere Entwicklung der Rechenmaschinen im ... 20. Jahrhundert: EDVAC: (1945--1951) Electronic Discrete Variable Automatic Computer - Von-Neumann-Architektur 1947 IBM Selective Sequence Electronic Calculator (SSEC) Turing-Maschine 1951 Remington Rand: erster kommerzieller Röhrenrechner UNIVersal Automatic Computer I (UNIVAC I) 1955 Bell Labs TRansistorized Airborne DIgital Computer (US ...
    http://www.math.uni-hamburg.de/spag/ign/seminar/09s-comp.htm
  • Seminar Geschichte der Rechentechnik und der Computer - Schwerpunkt Geschichte der Naturwissenschaft
    ... im Museum der Arbeit Rechenscheiben, Rechenwalzen Proportional-/Reduktionszirkel, Planimeter, Integraph, Harmonischer Analysator Rechenmaschinen des 17. und 18. Jahrhunderts: Vier-Spezies-Maschine (1623) von Wilhelm Schickard (1592-1635) 1642 ,,Pascaline'', Samuel Morland 1668, Leibniz 1673 - erste Vier-Spezies-Maschine, Staffelwalzenprinzip, 1703 binäres Zahlensystem (Dualsystem) Philipp Matthäus Hahn 1774 Charles Xavier Thomas 1820 und die weitere Entwicklung der Rechenmaschinen im ... 20. Jahrhundert: EDVAC: (1945--1951) Electronic Discrete Variable Automatic Computer - Von-Neumann-Architektur 1947 IBM Selective Sequence Electronic Calculator (SSEC) Turing-Maschine 1951 Remington Rand: erster kommerzieller Röhrenrechner UNIVersal Automatic Computer I (UNIVAC I) 1955 Bell Labs TRansistorized Airborne DIgital Computer (US ...
    http://www.math.uni-hamburg.de/spag/ign/seminar/07w-comp.htm
  • Lehrstuhl für Theoretische Informatik: Theoretische Informatik
    ... Möglichkeiten des automatisierten Beweisens und Lösens von Aufgaben drehte. Höhepunkte in diesem Zusammenhang stellten die Arbeiten von Gödel, Turing oder Church dar. Auf einmal war es notwendig, den Begriff des Algorithmus formal zu fassen, und Alan Turing lieferte eine Definition, die bis heute Wichtigkeit und Gültigkeit besitzt. Die Theoretische Informatik beschäftigt sich mit Fragen zu prinzipiellen Möglichkeiten ... wichtigsten Resultate. Dabei werden vor allem folgende Themen behandelt: Welche Probleme sind durch (Rechen-)Maschinen lösbar? Welche Ressourcen benötigt eine Maschine zur Lösung eines konkreten Problems? Aus welchen einfachsten logischen Bausteinen lassen sich beliebig komplexe Verknüpfungen aufbauen? Nach welchen Prinzipien sind ...
    http://theoretische.informatik.uni-wuerzburg.de/en/lehre/regelmaessig_angebotene_lehrveranstaltungen/theoretische_informatik/
  • Welt der Physik: "Ich hielt den Computer für ein seltenes Gerät" [ARTIKEL]
    ... Womersley, der schon während des Krieges am Colossus, dem britischen Geheim-Computer, mitgearbeitet hatte, und auch der berühmte Alan M. Turing. Am Ende des Gesprächs habe ich Womersley gebeten, mir noch ein wenig mehr zu erzählen, und das tat er auch ... Der Astrophysiker Ludwig Biermann wollte beispielsweise die Bahnen der kosmischen Strahlung im Erdmagnetfeld berechnen und brauchte dazu ganz dringend eine Maschine. Die G2, die ich gerade optimieren wollte, habe ich deshalb in die Ecke gestellt und schnell eine kleinere ... Zusatzinformationen) ( Beginn des Menüs [zum Servicemenü Taste S, zum Inhalt Taste I]) Welten der Physik Welt des Allerkleinsten Welt der ...
    http://www.weltderphysik.de/de/323.php
Impressum