 |
| |||
| Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe) | |||
|
first-order calculus : 6 צירופים, 2 נושאים |
| בינה מלאכותית | 4 |
| טכנולוגית מידע | 2 |
|
| |||
| Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe) | |||
|
first-order calculus : 6 צירופים, 2 נושאים |
| בינה מלאכותית | 4 |
| טכנולוגית מידע | 2 |