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

Image
var guu = "" + getCookie("ID"); dataLayer = [ 'ArticleID': '', 'ArticleDate': '', 'Title': '中時電子報', 'SrcID': '', 'AuthorName': '', 'SiteID': '26', 'ChannelID': '', 'CategoryID': '', 'UUID': guu, 'Tag': '', 'utm_source': '', 'PageType': '2' ]; (function (w, d, s, l, i) w[l] = w[l] )(window, document, 'script', 'dataLayer', 'GTM-5SNQFFP'); (function (w, d, s, l, i) w[l] = w[l] )(window, document, 'script', 'dataLayer', 'GTM-MWBSFZ'); window.fbAsyncInit = function () FB.init( appId: '1379575469016080', xfbml: true, version: 'v3.2' ); FB.AppEvents.logPageView(); ; (function (d, s, id) var js, fjs = d.getElementsByTagName(s)[0]; if (d.getElementById(id)) return; js = d.createElement(s); js...
Read more

Styletc

Image
Styletc 林志穎辣妻陳若儀曬辣照！翹臀纖腿全都露 金🐷報喜、摳摳摳～#love #gratitude #jensonkyson #happynewyear 陳若儀享受完美食，回家還是要記得運動瘦身喔😂 #小小班 #初學者別太嚴苛 #beginnerclass #thankyounext #love #gratitude 陳若儀 var _comscore = _comscore || []; _comscore.push( c1: "2", c2: "9457284" ); (function () var s = document.createElement("script"), el = document.getElementsByTagName("script")[0]; s.async = true; s.src = (document.location.protocol == "https:" ? "https://sb" : "http://b") + ".scorecardresearch.com/beacon.js"; el.parentNode.insertBefore(s, el); )(); var isRwd = window.inne...
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