Prof. Dr. em. Hans Jürgen Ohlbach Kontakt Ein neues Buch:

Ohlbach, Eisinger: Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker Teil 1 Teil 2






Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen, Institut für Informatik

print




Suche



Hinweise zur Datenübertragung bei der Google™ Suche




Links und Funktionen

  • www.lmu.de


  • LMU-Portal


  • Institut für Informatik


  • Sitemap




Sprachumschaltung


  • Englisch






Navigationspfad


  • Startseite


  • Mitarbeiter


  • Ehemalige Mitarbeiter


  • Hans Jürgen Ohlbach








  • drucken



Inhaltsbereich



Hans Jürgen Ohlbach



Prof. Dr. em.
Hans Jürgen Ohlbach



Extra-Ordinarius







Kontakt



Ludwig-Maximilians-Universität München
Institut für Informatik
Lehr- und Forschungseinheit für Programmier- und Modellierungssprachen
Oettingenstraße 67
D-80538 München








Weitere Informationen



Ein neues Buch:


Ohlbach, Eisinger: Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker


Das Buch gibt es auch innerhalb des Instituts für Informatik der LMU unter
Teil 1 und Teil 2







  • drucken

  • nach oben








-

Popular posts from this blog

Wikipedia:Contact us Navigation menu Navigation menuLeave a Reply Cancel reply Post navigationRecent PostsRecent CommentsArchivesCategoriesMeta

Image
earc Skip to content earc trhbgt Wikipedia:Contact us Navigation menu Introduction Readers Article subjects Licensing Donors Press and partnerships Wikipedia:Contact us From Wikipedia, the free encyclopedia Jump to navigation Jump to search Introduction Readers How to report a problem with an article, or find out more information. Article subjects Problems with articles about you, your company, or somebody you represent. Licensing How to copy Wikipedia’s information, donate your own, or report unlicensed use of your information. Donors Find out about the process, how to donate, and information about how your money is spent. Press and partnerships If you’re a member of the press looking to contact Wikipedia, or have a business proposal for us. Thank you for your interest in contacting Wikipedia. Before proceeding, some important disclaimers: Wikipedia has no central editorial board. Contributions are made
Read more

Farafra Inhaltsverzeichnis Geschichte | Badr-Museum Farafra | Nationalpark Weiße Wüste (as-Sahra al-baida) | Literatur | Weblinks | Navigationsmenü27° 3′ N, 27° 58′ OCommons: Farafra

Image
Ort in ÄgyptenOrt in AfrikaOase (Ägypten)Gouvernement al-Wadi al-dschadid SenkearabischDMGAsyutÄgyptenPharaonenHolozänErzählung vom beredten BauernNatrontalRamses’ II.Luxor-TempelMerenptahKarnak-TempelEdfurömischerkoptischerSandSandsteinenWeiße WüsteMonolithenBahariyyaKristallbergBahariyyaChargaBarisDachlaFarafraFayyumSiwaQattara Farafra aus Wikipedia, der freien Enzyklopädie Zur Navigation springen Zur Suche springen 27.058333333333 27.97 Koordinaten: 27° 3′  N , 27° 58′  O Farafra ​ Ägypten Die Senke al-Farafra (arabisch  الفرافرة , DMG al-Farāfra ) mit ihrem größten Ort Qasr el-Farafra liegt etwa 300 km westlich von Asyut in Ägypten und war zu Zeiten der Pharaonen auch bekannt als Ta-iht (Ta-íḥu) oder Das Land der Kuh . Sie ist mit etwa 2500 Einwohnern nur dünn besiedelt. Inhaltsverzeichnis 1 Geschichte 2 Badr-Museum Farafra 3 Nationalpark Weiße Wüste ( as-Sahra al-baida ) 4 Literatur 5 Weblinks Geschichte | Die Senke war bereits in de
Read more

Tórshavn Kliima | Partnerstääden | Luke uk diar | Nawigatsjuun62° 1′ N, 6° 46′ W62° 1′ 0″ N, 6° 46′ 0″ WWMOTórshavn

Image
Öömrang ArtiikelStääd üüb a Färöer sjiiskualnordiskdäänskfäröiskFäröerStreymoy (function()var node=document.getElementById("mw-dismissablenotice-anonplace");if(node)node.outerHTML="u003Cdiv class="mw-dismissable-notice"u003Eu003Cdiv class="mw-dismissable-notice-close"u003E[u003Ca tabindex="0" role="button"u003EFersteegu003C/au003E]u003C/divu003Eu003Cdiv class="mw-dismissable-notice-body"u003Eu003Cdiv id="localNotice" lang="frr" dir="ltr"u003Eu003Cdiv id="sitenotice"u003Enu003Ccenteru003Enu003Ctable class="rahmenfarbe4" style="border-style: solid; border-width: thin; width: 70%;"u003Ennu003Ctbodyu003Eu003Ctru003Enu003Ctd style="text-align:center;"u003Eu003Ca href="/wiki/Datei:Nordfriesischeflagge.svg" class="image"u003Eu003Cimg alt="Nordfriesischeflagge.svg" src="//upload.wikimedia.org/wikipedia/commons/thumb/b/b2
Read more