Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
In Memoriam, Solomon Marcus
| In Memoriam, Solomon Marcus |
| Autore | Calude Cristian S |
| Pubbl/distr/stampa | Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 |
| Descrizione fisica | 1 online resource (148 p.) |
| Soggetto topico |
Computer science
Information technology industries |
| Soggetto non controllato |
asymptotic growth
automata theory automata with "do not care" symbols bio-informatics communication patterns computational complexity computational complexity theory computational models control structures cP systems deterministic finite cover automata evolutional communication evolutionary processor extractors finite languages formal language formal language theory fractal Hausdorff dimension hypergraph model intrinsic perception Kolmogorov complexity logarithmic time complexity membrane computing multiple entry automata network of evolutionary processors network topology NP-complete NP-hard oracle Turing machine P systems P vs. NP problem polynomial process calculus quasiperiod random strings recursive function theory SAT shortest computations similarity relations symport/antiport theory of computation Turing machine |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910566467603321 |
Calude Cristian S
|
||
| Basel, : MDPI - Multidisciplinary Digital Publishing Institute, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Truth [[electronic resource] /] / Alexis G. Burgess & John P. Burgess
| Truth [[electronic resource] /] / Alexis G. Burgess & John P. Burgess |
| Autore | Burgess Alexis <1980-> |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton [N.J.], : Princeton University Press, c2010 |
| Descrizione fisica | 1 online resource (173 p.) |
| Disciplina | 121 |
| Altri autori (Persone) | BurgessJohn P. <1948-> |
| Collana | Princeton foundations of contemporary philosophy |
| Soggetto topico | Truth |
| Soggetto genere / forma | Electronic books. |
| Soggetto non controllato |
Alfred Tarski
Aristotle Davidsonianism Dummettianism Frank P. Ramsey Saul Kripke W. V. Quine antirealism axiomatic theories communication contextualist solutions correspondence theories defeatism deflationism denial strategy deviance strategy direct definition dis"ationalism disqualification strategy doublespeak strategy equivalence principle formal language holism inconsistency theories indeterminacy inflationism logical solutions mathematics meaning metalanguage minimum fixed point model theory normativity object language paraconsistency paradoxes physicalism pluralism presupposition realism redundancy theory reference relativism relativity revenge revision theories self-reference semantic truth sentences slogans transfinite construction truth predicate truth-conditional semantics truth truthmaker theories ungroundedness utility vagueness value verification-conditional semantics |
| ISBN |
1-78268-952-4
1-283-03352-6 9786613033529 1-4008-3869-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Acknowledgments -- Chapter One. Introduction -- Chapter Two. Tarski -- Chapter Three. Deflationism -- Chapter Four. Indeterminacy -- Chapter Five. Realism -- Chapter Six. Antirealism -- Chapter Seven. Kripke -- Chapter Eight. Insolubility? -- Further Reading -- Bibliography -- Index |
| Record Nr. | UNINA-9910456952603321 |
|
Burgess Alexis <1980->
|
||
| Princeton [N.J.], : Princeton University Press, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Truth [[electronic resource] /] / Alexis G. Burgess & John P. Burgess
| Truth [[electronic resource] /] / Alexis G. Burgess & John P. Burgess |
| Autore | Burgess Alexis <1980-> |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton [N.J.], : Princeton University Press, c2010 |
| Descrizione fisica | 1 online resource (173 p.) |
| Disciplina | 121 |
| Altri autori (Persone) | BurgessJohn P. <1948-> |
| Collana | Princeton foundations of contemporary philosophy |
| Soggetto topico | Truth |
| Soggetto non controllato |
Alfred Tarski
Aristotle Davidsonianism Dummettianism Frank P. Ramsey Saul Kripke W. V. Quine antirealism axiomatic theories communication contextualist solutions correspondence theories defeatism deflationism denial strategy deviance strategy direct definition dis"ationalism disqualification strategy doublespeak strategy equivalence principle formal language holism inconsistency theories indeterminacy inflationism logical solutions mathematics meaning metalanguage minimum fixed point model theory normativity object language paraconsistency paradoxes physicalism pluralism presupposition realism redundancy theory reference relativism relativity revenge revision theories self-reference semantic truth sentences slogans transfinite construction truth predicate truth-conditional semantics truth truthmaker theories ungroundedness utility vagueness value verification-conditional semantics |
| ISBN |
1-78268-952-4
1-283-03352-6 9786613033529 1-4008-3869-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Preface -- Acknowledgments -- Chapter One. Introduction -- Chapter Two. Tarski -- Chapter Three. Deflationism -- Chapter Four. Indeterminacy -- Chapter Five. Realism -- Chapter Six. Antirealism -- Chapter Seven. Kripke -- Chapter Eight. Insolubility? -- Further Reading -- Bibliography -- Index |
| Record Nr. | UNINA-9910781297103321 |
|
Burgess Alexis <1980->
|
||
| Princeton [N.J.], : Princeton University Press, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||