Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Prüfungen im Bachelor-Studium (1. - 5. Semester) » aud » Lösungsversuch Miniklausur WS 2017/18   (Übersicht)

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

pruefungen:bachelor:aud:loesung-miniklausur-17 [28.06.2019 09:06] – angelegt Dbadtf_385pruefungen:bachelor:aud:loesung-miniklausur-17 [10.04.2020 10:17] (aktuell) kat04
Zeile 96: Zeile 96:
  }  }
 </code> </code>
 +
 +==== Aufgabe 3 (ADT) ====
 +**a)** 
 +ops
 +    diff: MathExp = MathExp 
 +axs 
 +    diff(add(x,y)) = 0 
 +    diff(v()) = 1 
 +    diff(add(x,v()) = add(0,1)
 +    
 +**b)** 
 +
 +axs 
 +    diff(sub(x,y)) = sub(diff(x),diff(y)) 
 +    diff(mul(x,y) = add(mul(diff(x),y),mul(diff(y),x))
 +    
 +**c)**
 +
 +axs
 +    diff(sin(f)) = mul(cos(f),diff(f))
 +    diff(cos(f)) = mul(sub(0,sin(f)),diff(f))