Informatiker Board | Druckvorschau: Analyse eines Terms

Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
--- Analyse eines Terms (http://www.informatikerboard.de/board/thread.php?threadid=2902)

Geschrieben von Shizmo am 07.03.2016 um 10:40:

Analyse eines Terms

Hallo, hier eine Aufgabe, bei der ich nicht ganz verstehe, was ich machen soll:

Zitat:

Analysieren Sie den folgenden Term: Was ist der syntaktische Aufbau? (Prädikate? Terme? Quantoren? ...) Worum handelt es sich dabei? Was sind die freien Variablen?

$[latex]\forall n\in \mathbb N[/latex]$ $[latex]f(n) = \prod\limits_{i=1}^{n} 2_i [/latex]$

Also das Prädikat ist "Für alle n aus den natürlichen Zahen". Ich seh das Produktzeichen, also 2 wird n-mal multipliziert, also 2*2*2*...*2

Ich würde sagen, die einzig freie Variable ist das n über dem Produktzeichen.

Was wollen die sonst noch wissen?