bibliographie.bib

% Encoding: UTF-8

@Book{schoening,
  title     = {Theoretische Informatik - kurzgefasst},
  publisher = {Spektrum - Akademischer Verlag},
  year      = {2003},
  author    = {Uwe Schöning},
  edition   = {4. Auflage},
}

@Book{CC,
  title     = {Computational Complexity - A Modern Approach},
  publisher = {Cambridge University Press},
  year      = {2009},
  author    = {Sanjeev Arora and Boaz Barak},
}

@Book{cal,
  title     = {Computability and Logic},
  publisher = {Cambridge University Press},
  year      = {2007},
  author    = {George S. Boolos and John P. Burgess and Richard C. Jeffrey},
  edition   = {5},
}

@Book{knuth1,
  title     = {The Art of Computer Programming},
  publisher = {Addison Wesley},
  year      = {1997},
  author    = {Donald E. Knuth},
  volume    = {1},
}
  
@Book{knuth2,
  title     = {The Art of Computer Programming},
  publisher = {Addison Wesley},
  year      = {1997},
  author    = {Donald E. Knuth},
  volume    = {2},
}
  
@Book{aul,
  title     = {Automatentheorie und Logik},
  publisher = {Springer},
  year      = {2011},
  author    = {Martin Hofmann and Martin Lange},
}

@Book{link,
  title     = {Collegium Logicum},
  publisher = {mentis},
  year      = {2009},
  author    = {Godehard Link},
  volume    = {1},
}

@Article{cantor,
  author  = {Cantor, Georg},
  title   = {Beitr{\"a}ge zur Begr{\"u}ndung der transfiniten Mengenlehre},
  journal = {Mathematische Annalen},
  year    = {1895},
  volume  = {46},
  number  = {4},
  pages   = {481--512},
}

@Book{frege_grundgesetze,
  title     = {Grundgesetze der Arithmetik - Begriffsschriftlich abgeleitet},
  publisher = {mentis},
  year      = {2009},
  author    = {Gottlob Frege},
  editor    = {Thomas Müller and Bernhard Schröder and Rainer Stuhlmann-Laeisz},
}

@Book{hoffmann,
  title     = {Theoretische Informatik},
  publisher = {Hanser},
  year      = {2022},
  author    = {Hoffmann, Dirk W},
  series    = {Hanser eLibrary},
  address   = {München},
  edition   = {5., aktualisierte Auflage},
  isbn      = {978-3-4464-7256-3},
  note      = {1 Online-Ressource (431 Seiten)},
  abstract  = {Das Buch führt umfassend in das Gebiet der theoretischen Informatik ein und behandelt den Stoffumfang, der für das Bachelor-Studium an Universitäten und Hochschulen in den Fächern Informatik und Informationstechnik benötigt wird. Die Darstellung und das didaktische Konzept verfolgen das Ziel, einen durchweg praxisnahen Zugang zu den mitunter sehr theoretisch geprägten Themen zu schaffen. Theoretische Informatik muss nicht trocken sein! Sie kann Spaß machen und genau dies versucht das Buch zu vermitteln. Die verschiedenen Methoden und Verfahren werden anhand konkreter Beispiele eingeführt und durch zahlreiche Querverbindungen wird gezeigt, wie die fundamentalen Ergebnisse der theoretischen Informatik die moderne Informationstechnologie prägen. Das Buch behandelt die Themengebiete: Logik und Deduktion, Automatentheorie, formale Sprachen, Entscheidbarkeitstheorie, Berechenbarkeitstheorie und Komplexitätstheorie. Die Lehrinhalte aller Kapitel werden durch zahlreiche Übungsaufgaben komplettiert, so dass sich die Lektüre neben der Verwendung als studienbegleitendes Lehrbuch auch bestens zum Selbststudium eignet.},
  keywords  = {Theoretische Informatik},
  type      = {Lehrbuch},
}

@Book{erkpriese,
  title     = {Theoretische Informatik: eine umfassende Einführung},
  publisher = {Springer},
  year      = {2008},
  author    = {Kathrin Erk and Lutz Priese},
  series    = {eXamen.press},
  address   = {Berlin ; Heidelberg},
  edition   = {3., erw. Aufl.},
  isbn      = {3540763198},
  keywords  = {Theoretische Informatik. Algorithm Analysis and Problem Complexity. Combinatorics. Computation by Abstract Devices. Computer science. Computer software. Logic, Symbolic and mathematical. Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. Mathematics of Computing},
  language  = {Deutsch},
  type      = {Lehrbuch},
}

@Book{hedtstueck,
  title     = {Einführung in die Theoretische Informatik: Formale Sprachen und Automatentheorie},
  publisher = {Oldenbourg},
  year      = {2012},
  author    = {Hedtstück, Ulrich},
  series    = {Informatik 10-2012},
  address   = {München},
  edition   = {5., überarb. Aufl.},
  isbn      = {978-3-4867-1404-3},
  abstract  = {Der Autor vermittelt einen fundierten Einblick in die Formalisierung und algorithmische Aufbereitung von Problemen, damit diese durch den Computer gelöst werden können. Anhand der vier Stufen der Chomsky-Hierarchie werden Kenntnisse zur Beurteilung des Schwierigkeitsgrads eines Problems vermittelt. Alle behandelten Themen sind unentbehrlich für das Verständnis wichtiger Konzepte der Informatik wie die Spezifikation von Programmiersprachen, das Übersetzen von Programmen oder die Verarbeitung natürlicher Sprache. Das Buch beinhaltet Abschnitte zu Formalen Sprachen, Grammatikformalismen, endlichen Automaten, Kellerautomaten und Turingmaschinen.},
  keywords  = {Machine theory. Formal languages. Computer science. Automatentheorie. Formale Sprache. COMPUTERS / Computer Science},
  language  = {Deutsch},
  type      = {Lehrbuch},
}

@Book{hopcroftullman,
  title       = {Introduction to Automata Theory, Languages, and Computation},
  publisher   = {Addison-Wesley Publishing Company},
  year        = {1979},
  author      = {Hopcroft, John E. and Ullman, Jeff D.},
  added-at    = {2009-05-20T01:29:36.000+0200},
  biburl      = {https://www.bibsonomy.org/bibtex/26f42b10773b0f97be73d4e0d6b8db3bf/sriram0339},
  description = {First cut database},
  interhash   = {0fb20598f4921085d9c5058fc8d95f00},
  intrahash   = {6f42b10773b0f97be73d4e0d6b8db3bf},
  keywords    = {imported},
  timestamp   = {2009-05-20T01:29:37.000+0200},
}

@Unpublished{barak,
  author = {Boaz Barak},
  title  = {Introduction to Theoretical Computer Science},
  note   = {[zugegriffen: 2022-11-10]},
  year   = {2022},
  url    = {https://introtcs.org/public},
}

@Book{neubert,
  title     = {Grundkurs theoretische Informatik},
  publisher = {Rheinwerk Verlag},
  year      = {2021},
  author    = {Stefan Neubert},
  series    = {Informatik verstehen},
  address   = {Bonn},
  edition   = {1. Auflage},
  isbn      = {978-3-8362-7588-0},
  note      = {Campus HN-Sontheim},
  keywords  = {Theoretische Informatik},
  language  = {Deutsch},
  pages     = {416 Seiten},
  type      = {Lehrbuch},
}

@Book{gottwald,
  title     = {Mehrwertige Logik - Eine Einführung in Theorie und Anwendung},
  publisher = {Akademie-Verlag},
  year      = {1989},
  author    = {Siegfried Gottwald},
  address   = {Berlin},
}

@InCollection{sep-logic-manyvalued,
	author       =	{Gottwald, Siegfried},
	title        =	{{Many-Valued Logic}},
	booktitle    =	{The {Stanford} Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta},
	howpublished =	{\url{https://plato.stanford.edu/archives/sum2022/entries/logic-manyvalued/}},
	year         =	{2022},
	edition      =	{{S}ummer 2022},
	publisher    =	{Metaphysics Research Lab, Stanford University},
}

@ARTICLE{ieee754,
  author={IEEE},
  journal={ANSI/IEEE Std 754-1985},
  title={IEEE Standard for Binary Floating-Point Arithmetic},
  year={1985},
  volume={},
  number={},
  pages={1-20},
  doi={10.1109/IEEESTD.1985.82928}
}

@techreport{RFC3629,
  author = {F. Yergeau},
  title = {UTF-8, a transformation format of ISO 10646},
  howpublished = {Internet Requests for Comments},
  type = {STD},
  number = {63},
  year = {2003},
  month = {November},
  issn = {2070-1721},
  publisher = {RFC Editor},
  institution = {RFC Editor},
  url = {http://www.rfc-editor.org/rfc/rfc3629.txt},
  note = {\url{http://www.rfc-editor.org/rfc/rfc3629.txt}},
}

@Book{quine,
  title     = {Word and object},
  publisher = {MIT press},
  year      = {1960},
  author    = {Quine, Willard Van Orman},
}

@Comment{jabref-meta: databaseType:bibtex;}