Takaisin arkeen! Kaikkea koulujen alkuun nyt jopa -40 %*! >> 
Uusia kesädiilejä! Jopa -60 % PLUS-jäsenille >> 
Institution-independent Model Theory, Institution-independent Model Theory
Lisätiedot:
| Tekijä: | R¿zvan Diaconescu |
| Sivujen määrä: | 584 |
| Julkaisuvuosi: | 2025 |
| Tuotekoodi: | 103198645 |
Lisätietoja
Myyjä:
595 €
1395 €
1495 €
Toimitusajat ovat arvioita. Tarkka toimituspäivä näytetään postinumeron syöttämisen jälkeen tai tilausvahvistuksessa.
595 €
1495 €
1495 €
Toimitusajat ovat arvioita. Tarkka toimituspäivä näytetään postinumeron syöttämisen jälkeen tai tilausvahvistuksessa.
Myyjä:
- 100% asiakkaista suosittelee tätä myyjää.
Tuotteen kuvaus: Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. Especially in computer science, where the development of a huge number of specification logics is observable, institution-independent model theory simplifies and sometimes even enables a concise model-theoretic analysis of the system. Besides incorporating important methods and concepts from conventional model theory, the proposed axiomatic top-down methodology allows for a structurally clean understanding of model-theoretic phenomena. Consequently, results from conventional concrete model theory can be understood more easily, and sometimes even new results are obtained. Moreover, all this is also applied to non-classical model theories.This second edition introduces some novelties in the presentation style which aim to enhance the readability of the material and the proofs. Additional chapters have also been added.
Yleiset tuotetiedot: Institution-independent Model Theory
| Tuotekoodi: | 103198645 |
| Kategoria: | Talouskirjat |
| Pakkausten määrä: | 1 kpl |
| Pakkauksen koko ja paino (1): | 0,241 x 0,16 x 0,037 m, 1,03 kg |
| Myyjän kotimaa: | Liettua |
| Kustantamo: | Springer Nature Switzerland |
| Kirjan kieli: | Englanti |
| Kannen tyyppi: | Kovaa |
| Muoto: | Perinteinen kirja |
| Tyyppi: | Ei ole määritelty |
| Myyjä: | Patogupirkti |
| Tekijä: | R¿zvan Diaconescu |
| Sivujen määrä: | 584 |
| Julkaisuvuosi: | 2025 |
Lisätietoja
Tuotteiden kuvat ovat havainnollistavia. Tuotekuvauksen videolinkit ovat vain tiedoksi, joten niiden sisältämät tiedot voivat poiketa itse tuotteesta. Alkuperäisten tuotteiden värit, huomautukset, parametrit, mitat, koot, ominaisuudet ja/tai muut ominaisuudet voivat poiketa niiden todellisesta ulkonäöstä, joten katso tuotetiedot tuotekuvauksista.
Muita kiinnostavia tuotteita
Kumppanitarjoukset
Sponsoroitu
Arviot ja arvostelut (0)
Institution-independent Model Theory
Ole ensimmäinen, joka jättää arvostelun!
Tätä tuotetta voivat arvioida vain Hobbyhall.fi rekisteröityneet asiakkaat.
Kirjoita arvostelu