Logique et modélisation : modèles consistants, données compatibles
Seiten
Eyrolles (Verlag)
978-2-212-01647-5 (ISBN)
- Titel nicht im Sortiment
- Artikel merken
Expose des notions générales de logique mathématique : la consistance des modèles, la comptabilité des données avec deux formalismes fondamentaux : la logique des propositions et la logique des prédicats (calcul booléen...).
| Erscheinungsdatum | 21.10.2021 |
|---|---|
| Sprache | französisch |
| Maße | 160 x 240 mm |
| Gewicht | 750 g |
| Einbandart | Paperback |
| Themenwelt | Informatik ► Weitere Themen ► CAD-Programme |
| Schlagworte | Direction des études et recherches d'Electricité de France • Direction des études et recherches d'Electricité de France, n° 67 • Direction des études et recherches d'Electricité de France, n° 94 |
| ISBN-10 | 2-212-01647-6 / 2212016476 |
| ISBN-13 | 978-2-212-01647-5 / 9782212016475 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Einführung in die Geometrische Produktspezifikation
Buch | Softcover (2023)
Europa-Lehrmittel (Verlag)
20,70 €
