Sie befinden sich hier: Termine » 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 gezeigt.

Link zu dieser Vergleichsansicht

pruefungen:bachelor:aud:loesung-miniklausur-17 [28.06.2019 11:06]
Dbadtf_385 angelegt
pruefungen:bachelor:aud:loesung-miniklausur-17 [10.04.2020 12: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))