Formale Verifikation von geordneten Paaren |
| 20.02.2017, 13:46 | Auf diesen Beitrag antworten » |
| Zephyr31429 | Formale Verifikation von geordneten Paaren Hallo zusammen, ich habe folgendes Problem. Ich habe eine Menge A. Ich möchte auf dieser das kartesische Produkt: A x A bilden. Die resultierende Menge der geordneten Paare (a, b) möchte ich in Bezug auf ein Axiom überprüfen. Wie kann ich dies am besten machen? Lassen sich die geordneten Paare als Baum darstellen? Auf diesem wäre eine Tiefensuche und elementweise Axiom-Überprüfung möglich? VG Peter |
|
|
|
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
| Die Neuesten » |
