Courses > Electrical Engineering and Computer Science > Automata, Computability, and Complexity
Courses > Electrical Engineering and Computer Science > Automata, Computability, and Complexity 6.045J / 18.400J Automata, Computability, and ComplexitySpring 2005
An NP completeness problem. "Does P equal NP?" is one of the most important unsolved questions in modern Mathematics. (Image by MIT OCW.) Course HighlightsThis course features a full set of homework assignments. In addition, the recitation section includes many practice problems. 6.045J is a course in the department's "Theoretical Computer Science" concentration.
Course DescriptionThis course is offered to undergraduates and introduces basic mathematical models of computation and the finite representation of infinite objects. The course is slower paced than 6.840J/18.404J. Topics covered include: finite automata and regular languages, context-free languages, Turing machines, partial recursive functions, Church's Thesis, undecidability, reducibility and completeness, time complexity and NP-completeness, probabilistic computation, and interactive proof systems.
*Some translations represent previous versions of courses. Courses > Electrical Engineering and Computer Science > Automata, Computability, and Complexity Download this Course6-045JSpring-2005.zip (ZIP - 1.34 MB) Click the link above to start downloading this course. You may need to download file decompression software such as WinZip or StuffIt to open the .ZIP file. For more information about downloading and using zipped courses, read our Frequently Asked Questions. All of the Materials included in the .ZIP file are governed by the same Creative Commons license that governs use of materials published on the MIT OCW page. Mathematics Kurse> Elektrotechnik und Informatik> Automatentheorie, Berechenbarkeit und Komplexität Email diese Seite 6.045J / 18.400J Automaten, Berechenbarkeit und Komplexität Frühjahr 2005 Ein NP-Vollständigkeit Problem. "Ist P gleich NP?" ist eines der wichtigsten ungelösten Fragen der modernen Mathematik. (Foto vom MIT OCW.) Kurs-Highlights Dieser Kurs bietet eine umfassende Reihe von Hausaufgaben. Darüber hinaus ist die Rezitation Abschnitt enthält viele Übungsaufgaben. 6.045J ist ein Kurs in der Abteilung "Theoretische Informatik" Konzentration. Kursbeschreibung Dieser Kurs wird auf Vor und führt grundlegende mathematische Modelle für die Berechnung und Darstellung von endlichen unendlichen Objekten. Der Kurs ist langsamer als paced 6.840J/18.404J. Themen werden behandelt: endliche Automaten und reguläre Sprachen, kontext-freien Sprachen, Turing Maschinen, teilweise rekursive Funktionen, Church's Thesis, Unentscheidbarkeit, Reduzierbarkeit und Vollständigkeit-, Zeit-Komplexität und NP-Vollständigkeit, probabilistische Berechnung, Nachweis und interaktive Systeme. * Einige Übersetzungen vertreten früheren Versionen von Kursen. Kurse> Elektrotechnik und Informatik> Automatentheorie, Berechenbarkeit und Komplexität Email diese Seite Download dieser Kurs 6-045JSpring-2005.zip (ZIP - 1,34 MB) Klicken Sie auf den obigen Link um den Download zu starten dieses Kurses. Möglicherweise müssen Sie Download-Datei Komprimierungstools wie WinZip oder StuffIt zu öffnen. ZIP-Datei. Für weitere Informationen über das Herunterladen und Verwenden gezippt Kurse, lesen Sie bitte unsere Frequently Asked Questions. Alle Materialien enthalten in der. ZIP-Datei sind durch die gleichen Creative-Commons-Lizenz, dass regelt Verwendung von Materialien auf der MIT-OCW-Seite. Mathematik |
See all the reviews