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 electronic resource (148 p.) |
| Soggetto topico |
Information technology industries
Computer science |
| Soggetto non controllato |
automata theory
formal language theory bio-informatics recursive function theory evolutionary processor network of evolutionary processors network topology theory of computation computational models intrinsic perception Hausdorff dimension fractal computational complexity Turing machine oracle Turing machine shortest computations quasiperiod formal language asymptotic growth polynomial membrane computing computational complexity theory P vs. NP problem evolutional communication symport/antiport Kolmogorov complexity random strings extractors finite languages deterministic finite cover automata multiple entry automata automata with “do not care” symbols similarity relations process calculus communication patterns control structures hypergraph model P systems cP systems NP-complete NP-hard SAT logarithmic time complexity |
| 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 | ||
| ||