Startseite
Forum
Fragen
Suchen
Über Uns
Informatiker Board
»
Themengebiete
»
Theoretische Informatik
»
Hoare-Kalkül
» Hallo Gast [
Anmelden
|
Registrieren
]
Letzter Beitrag
|
Erster ungelesener Beitrag
Druckvorschau
|
An Freund senden
|
Thema zu Favoriten hinzufügen
Hoare-Kalkül
Beiträge zu diesem Thema
Autor
Datum
Hoare-Kalkül
MeisterPropper
08.12.2011
14:32
RE: Hoare-Kalkül
Karlito
12.12.2011
20:50
Autor
Beitrag
«
Vorheriges Thema
|
Nächstes Thema
»
MeisterPropper
unregistriert
Hoare-Kalkül
Meine Frage:
Hallo,
ich soll eine Aufgabe zum Hoare-Kalkül lösen. Ich habe die Aufgabe und meine versuchte Lösung angehängt. Allerdings bin ich mir sehr unsicher.
Gruß
Meine Ideen:
Siehe Anhang
MeisterPropper hat diese Bilder (verkleinerte Versionen) angehängt:
08.12.2011
14:32
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
Hoare Kalkül bin ich leider nicht so fit...
Schau dir mal
j-Algo
, da gibt es auch ein Modul, mit welchem man das Hoare-Kalkül beleuchten kann.
VG,
Karlito
12.12.2011
20:50
Baumstruktur
|
Brettstruktur
Gehe zu:
Bitte wählen:
--------------------
Themengebiete
-- Theoretische Informatik
---- formale Sprachen
---- Automatentheorie
---- Berechenbarkeits- und Komplexitätstheorie
---- Logik
-- Praktische Informatik
---- Algorithmen
---- Softwaretechnik
---- Datenbanken
-- Technische Informatik
-- übergreifende Themen
---- Künstliche Intelligenz
---- Informatik und Gesellschaft
-- Informatik in der Schule
-- Sonstige Fragen
Sonstiges
-- Off-Topic
-- Ankündigungen
Informatiker Board
»
Themengebiete
»
Theoretische Informatik
»
Hoare-Kalkül
© by
Informatikerboard.de
Forensoftware:
Burning Board
, entwickelt von
WoltLab GmbH
