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.
Automata Studies. (AM-34), Volume 34 / / J. McCarthy, C. E. Shannon
| Automata Studies. (AM-34), Volume 34 / / J. McCarthy, C. E. Shannon |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (297 pages) : illustrations |
| Disciplina |
621.38
621.34* |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Machine theory
Conscious automata |
| Soggetto non controllato |
A Mathematical Theory of Communication
Abstraction (software engineering) Accuracy and precision Algebraic theory Arithmetic Automaton Axiom Binary number Biophysics Bit Boolean algebra (structure) Calculation Chaos theory Circuit design Classical conditioning Combination lock Combination Computable number Computation Concepts (C++) Conditional probability Connectivity (graph theory) Correlation and dependence Counterexample Counting Decision problem Description number Detection Determinism Deterministic system (philosophy) Diagram (category theory) Diagram Entscheidungsproblem Enumeration Equation Estimation Exponentiation Finite-state machine First principle Fixed point (mathematics) Function (mathematics) Gödel numbering Hardware random number generator Heuristic argument Instance (computer science) Interlacing (bitmaps) Intuitionistic logic Lebesgue measure Logarithm Logic Logical disjunction Markov chain Mathematical analysis Mathematical induction Mathematical logic Mathematical notation Mathematical theory Mathematics Measure (mathematics) Metamathematics Modular arithmetic Moment (mathematics) Moore machine Notation Number theory OR gate Parameter (computer programming) Parity (mathematics) Permutation Pilot plant Polynomial Primitive recursive function Probability measure Probability Proportionality (mathematics) Propositional function Quantity Recursion (computer science) Recursive set Recursively enumerable set Result Schematic Sequence Series (mathematics) Set theory Sheffer stroke Sign (mathematics) Solver Special case Stochastic process String (computer science) Subsequence Subset Theorem Thermodynamic equilibrium Trial and error Turing machine Typewriter Universal Turing machine Variable (mathematics) |
| ISBN | 1-4008-8261-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Finite Automata -- Representation of Events in Nerve Nets and Finite Automata / Kleene, S. C. -- Probabilistic Logics and the Synthesis of Reliable Organisms From Unreliable Components / Neumann, J. von -- Some Uneconomical Robots / Culbertson, James T. -- Some Universal Elements for Finite Automata / Minsky, M. L. -- Gedanken-Experiments on Sequential Machines / Moore, Edward F. -- Turing Machines -- A Universal Turing Machine with Two Internal States / Shannon, Claude E. -- A Note on Universal Turing Machines / Davis, M. D. -- The Inversion of Functions Defined by Turing Machines / McCarthy, John -- Computability by Probabilistic Machines / Leeuw, K. de / Moore, E. F. / Shannon, C. E. / Shapiro, N. -- Synthesis of Automata -- Design for an Intelligence-Amplifier / Ashby, W. Ross -- The Epistemological Problem for Automata / MacKay, D. M. -- Conditional Probability Machines and Conditioned Reflexes / Uttley, Albert M. -- Temporal and Spatial Patterns in a Conditional Probability Machine / Uttley, Albert M. |
| Record Nr. | UNINA-9910154745703321 |
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Bayesians versus frequentists : a philosophical debate on statistical reasoning / Jordi Vallverdú
| Bayesians versus frequentists : a philosophical debate on statistical reasoning / Jordi Vallverdú |
| Autore | Vallverdú, Jordi |
| Pubbl/distr/stampa | Heidelberg [etc.], : Springer, 2016 - XII, 110 p., : ill. ; 24 cm |
| Soggetto topico |
01Axx - History of mathematics and mathematicians [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 62-XX - Statistics [MSC 2020] |
| Soggetto non controllato |
Bayesian
Causality Determinism History of mathematics Philosophy of mathematics Statistical thinking |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0114467 |
Vallverdú, Jordi
|
||
| Heidelberg [etc.], : Springer, 2016 - XII, 110 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Divine action, determinism, and the laws of nature / / Jeffrey Koperski
| Divine action, determinism, and the laws of nature / / Jeffrey Koperski |
| Autore | Koperski Jeffrey |
| Pubbl/distr/stampa | Taylor & Francis, 2020 |
| Descrizione fisica | 1 online resource (160 pages) : charts; digital file(s) |
| Disciplina | 231.5 |
| Soggetto topico |
Providence and government of God - Christianity
Determinism (Philosophy) Religion and science History of Western philosophy Philosophy of religion Theology |
| Soggetto non controllato |
Action
Determinism Divine Jeffrey Koperski Laws Nature |
| ISBN |
0-429-63958-9
0-429-02911-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Philosophy and divine action -- Mapping the terrain -- Nonviolation, quantum mechanics, and chaos -- A brief history of the laws of nature -- Philosophy of science and the laws of nature -- Determinisms -- Neoclassical special divine action -- Four objections. |
| Record Nr. | UNINA-9910357818803321 |
|
Koperski Jeffrey
|
||
| Taylor & Francis, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Entscheidung, rationalität und determinismus / / Jacob Rosenthal
| Entscheidung, rationalität und determinismus / / Jacob Rosenthal |
| Autore | Rosenthal Jacob |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2017 |
| Descrizione fisica | 1 online resource (360 pages) |
| Disciplina | 123 |
| Collana | Ideen & Argumente |
| Soggetto topico |
Determinism (Philosophy)
Free will and determinism Rationalism |
| Soggetto non controllato |
Compatibilism
Determinism free will |
| ISBN | 3-11-049361-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Frontmatter -- Inhalt -- Einleitung -- 1. Handlungen -- 2. Entschlüsse und Entscheidungen -- 3. Theoretisches und praktisches Überlegen -- 4. Determinismus und Kausalität -- 5. Determinismus und Vorhersehbarkeit -- 6. Determinismus und Gesetzmäßigkeit -- 7. Willensfreiheit -- 8. Willensfreiheit und das Körper-Geist-Problem -- 9. Gründe und Ursachen -- Vorbemerkung -- 10. Handeln und Determinismus -- 11. Entscheiden und Determinismus -- 12. Überlegen und Determinismus -- 13. Normativität und Determinismus -- 14. Verantwortung und Determinismus -- Vorbemerkung -- 15. Libertarische Konzeptionen: Grundsätzliche Bedenken -- 16. Spezifische libertarische Ansätze und das Zufallsproblem -- 17. Zur Frage des Indeterminismus in unserer Welt -- 18. Beweislastverschiebung -- Fazit -- Literatur -- Index |
| Record Nr. | UNINA-9910792680903321 |
|
Rosenthal Jacob
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Entscheidung, rationalität und determinismus / / Jacob Rosenthal
| Entscheidung, rationalität und determinismus / / Jacob Rosenthal |
| Autore | Rosenthal Jacob |
| Pubbl/distr/stampa | Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2017 |
| Descrizione fisica | 1 online resource (360 pages) |
| Disciplina | 123 |
| Collana | Ideen & Argumente |
| Soggetto topico |
Determinism (Philosophy)
Free will and determinism Rationalism |
| Soggetto non controllato |
Compatibilism
Determinism free will |
| ISBN | 3-11-049361-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Nota di contenuto | Frontmatter -- Inhalt -- Einleitung -- 1. Handlungen -- 2. Entschlüsse und Entscheidungen -- 3. Theoretisches und praktisches Überlegen -- 4. Determinismus und Kausalität -- 5. Determinismus und Vorhersehbarkeit -- 6. Determinismus und Gesetzmäßigkeit -- 7. Willensfreiheit -- 8. Willensfreiheit und das Körper-Geist-Problem -- 9. Gründe und Ursachen -- Vorbemerkung -- 10. Handeln und Determinismus -- 11. Entscheiden und Determinismus -- 12. Überlegen und Determinismus -- 13. Normativität und Determinismus -- 14. Verantwortung und Determinismus -- Vorbemerkung -- 15. Libertarische Konzeptionen: Grundsätzliche Bedenken -- 16. Spezifische libertarische Ansätze und das Zufallsproblem -- 17. Zur Frage des Indeterminismus in unserer Welt -- 18. Beweislastverschiebung -- Fazit -- Literatur -- Index |
| Record Nr. | UNINA-9910811337603321 |
|
Rosenthal Jacob
|
||
| Berlin, [Germany] ; ; Boston, [Massachusetts] : , : De Gruyter, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hidden Dynamics : The Mathematics of Switches, Decisions and Other Discontinuous Behaviour / Mike R. Jeffrey
| Hidden Dynamics : The Mathematics of Switches, Decisions and Other Discontinuous Behaviour / Mike R. Jeffrey |
| Autore | Jeffrey, Mike R. |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xviii, 521 p. : ill. ; 24 cm |
| Soggetto topico |
34C23 - Bifurcation theory for ordinary differential equation [MSC 2020]
37N25 - Dynamical systems in biology [MSC 2020] 92Bxx - Mathematical biology in general [MSC 2020] 37Mxx - Approximation methods and numerical treatment of dynamical systems [MSC 2020] 34Exx - Asymptotic theory for ordinary differential equation [MSC 2020] 41A60 - Asymptotic approximations, asymptotic expansions (steepest descent, etc.) [MSC 2020] 00-XX - General and overarching topics; collections [MSC 2020] 03Hxx - Nonstandard models [MSC 2020] 34Nxx - Dynamic equations on time scales or measure chains [MSC 2020] 70G60 - Dynamical systems methods for problems in mechanics [MSC 2020] |
| Soggetto non controllato |
Asymptotics
Bifurcation Decision Determinism Discontinuity Dynamics Singularity Sliding Switch |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124753 |
|
Jeffrey, Mike R.
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Knowledge, nature, and the good [[electronic resource] ] : essays on ancient philosophy / / John M. Cooper
| Knowledge, nature, and the good [[electronic resource] ] : essays on ancient philosophy / / John M. Cooper |
| Autore | Cooper John M (John Madison), <1939-2022.> |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, N.J., : Princeton University Press, c2004 |
| Descrizione fisica | 1 online resource (420 p.) |
| Disciplina | 180 |
| Soggetto topico | Philosophy, Ancient |
| Soggetto non controllato |
Academic skepticism
Alexander Nehamas Alexander of Aphrodisias Analogy Antiochus of Ascalon Aristotle Arius Didymus Atomism Awareness Cambridge University Press Carneades Chrysippus Concept Counterargument Criticism Democritus Determinism Dialectician Disease Empedocles Epictetus Epicureanism Epicurus Epistemology Ethics Eudaimonia Existence Explanation Explication Eye color Feeling First principle Four causes Glaucon God Good and evil Hedonism Hiero (Xenophon) Hypothesis Illustration Immanuel Kant Indication (medicine) Inference Ingredient Inquiry Isocrates Lecture Loeb Classical Library Materialism Methodology Morality Mutatis mutandis Natural kind On Ancient Medicine Ontology Parmenides Phenomenon Philosopher Philosophical analysis Philosophical methodology Philosophical theory Philosophy Physician Plato Platonism Potentiality and actuality Practical reason Pre-Socratic philosophy Premise Principle Protagoras Pyrrhonism Quantity Rationality Reality Reason Requirement Rhetoric Self-sufficiency Semen Sextus Empiricus Skepticism Socratic method Socratic Stoicism Suggestion Teleology The Philosopher Theaetetus (dialogue) Theoretical physics Theory of Forms Theory Thought Treatise Uncertainty Understanding Value theory Virtue W. D. Ross Writing |
| ISBN |
1-282-08708-8
9786612087080 1-4008-2644-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ; Knowledge -- Method and science in On ancient medicine -- Plato on sense-perception and knowledge (Theaetetus 184-186) -- Plato, Isocrates, and Cicero on the independence of oratory from philosophy -- Arcesilaus : Socratic and skeptic -- ; Nature -- Aristotle on natural teleology -- Hypothetical necessity -- Two notes on Aristotle on mixture -- Metaphysics in Aristotle's embryology -- Stoic autonomy -- ; The good -- Two theories of justice -- Plato and Aristotle on "finality" and "(Self)sufficiency" -- Moral theory and moral improvement : Seneca -- Moral theory and moral improvement : Marcus Aurelius. |
| Record Nr. | UNINA-9910777705103321 |
|
Cooper John M (John Madison), <1939-2022.>
|
||
| Princeton, N.J., : Princeton University Press, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Knowledge, nature, and the good [[electronic resource] ] : essays on ancient philosophy / / John M. Cooper
| Knowledge, nature, and the good [[electronic resource] ] : essays on ancient philosophy / / John M. Cooper |
| Autore | Cooper John M (John Madison), <1939-2022.> |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, N.J., : Princeton University Press, c2004 |
| Descrizione fisica | 1 online resource (420 p.) |
| Disciplina | 180 |
| Soggetto topico | Philosophy, Ancient |
| Soggetto non controllato |
Academic skepticism
Alexander Nehamas Alexander of Aphrodisias Analogy Antiochus of Ascalon Aristotle Arius Didymus Atomism Awareness Cambridge University Press Carneades Chrysippus Concept Counterargument Criticism Democritus Determinism Dialectician Disease Empedocles Epictetus Epicureanism Epicurus Epistemology Ethics Eudaimonia Existence Explanation Explication Eye color Feeling First principle Four causes Glaucon God Good and evil Hedonism Hiero (Xenophon) Hypothesis Illustration Immanuel Kant Indication (medicine) Inference Ingredient Inquiry Isocrates Lecture Loeb Classical Library Materialism Methodology Morality Mutatis mutandis Natural kind On Ancient Medicine Ontology Parmenides Phenomenon Philosopher Philosophical analysis Philosophical methodology Philosophical theory Philosophy Physician Plato Platonism Potentiality and actuality Practical reason Pre-Socratic philosophy Premise Principle Protagoras Pyrrhonism Quantity Rationality Reality Reason Requirement Rhetoric Self-sufficiency Semen Sextus Empiricus Skepticism Socratic method Socratic Stoicism Suggestion Teleology The Philosopher Theaetetus (dialogue) Theoretical physics Theory of Forms Theory Thought Treatise Uncertainty Understanding Value theory Virtue W. D. Ross Writing |
| ISBN |
1-282-08708-8
9786612087080 1-4008-2644-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | ; Knowledge -- Method and science in On ancient medicine -- Plato on sense-perception and knowledge (Theaetetus 184-186) -- Plato, Isocrates, and Cicero on the independence of oratory from philosophy -- Arcesilaus : Socratic and skeptic -- ; Nature -- Aristotle on natural teleology -- Hypothetical necessity -- Two notes on Aristotle on mixture -- Metaphysics in Aristotle's embryology -- Stoic autonomy -- ; The good -- Two theories of justice -- Plato and Aristotle on "finality" and "(Self)sufficiency" -- Moral theory and moral improvement : Seneca -- Moral theory and moral improvement : Marcus Aurelius. |
| Record Nr. | UNINA-9910815734403321 |
|
Cooper John M (John Madison), <1939-2022.>
|
||
| Princeton, N.J., : Princeton University Press, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reductionism, Emergence and Levels of Reality : the Importance of Being Borderline / Sergio Chibbaro, Lamberto Rondoni, Angelo Vulpiani
| Reductionism, Emergence and Levels of Reality : the Importance of Being Borderline / Sergio Chibbaro, Lamberto Rondoni, Angelo Vulpiani |
| Autore | Chibbaro, Sergio |
| Pubbl/distr/stampa | Cham, : Springer, 2014 |
| Descrizione fisica | xxi, 154 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Rondoni, Alberto
Vulpiani, Angelo |
| Soggetto topico |
81-XX - Quantum theory [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 00A79 (77-XX) - Physics [MSC 2020] |
| Soggetto non controllato |
Born-Oppenheimer Approximation
Brownian Motions Chaos and Determinism Chaos and Reductionism Critical phenomena Determinism Emergence in Science Foundations of Statistical Mechanics From Microscopic to Macroscopic Irreversibility and Emergence Reductionism in Science The Problem of Irreversibility |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0132965 |
|
Chibbaro, Sergio
|
||
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The traveling salesman problem [[electronic resource] ] : a computational study / / David L. Applegate ... [et al.]
| The traveling salesman problem [[electronic resource] ] : a computational study / / David L. Applegate ... [et al.] |
| Autore | Applegate David L |
| Edizione | [Course Book] |
| Pubbl/distr/stampa | Princeton, : Princeton University Press, c2006 |
| Descrizione fisica | 1 online resource (606 p.) |
| Disciplina | 511.6 |
| Collana | Princeton series in applied mathematics |
| Soggetto topico | Traveling salesman problem |
| Soggetto non controllato |
AT&T Labs
Accuracy and precision Addition Algorithm Analysis of algorithms Applied mathematics Approximation algorithm Approximation Basic solution (linear programming) Best, worst and average case Bifurcation theory Big O notation CPLEX CPU time Calculation Chaos theory Column generation Combinatorial optimization Computation Computational resource Computer Connected component (graph theory) Connectivity (graph theory) Convex hull Cutting-plane method Delaunay triangulation Determinism Disjoint sets Dynamic programming Ear decomposition Engineering Enumeration Equation Estimation Euclidean distance Euclidean space Family of sets For loop Genetic algorithm George Dantzig Georgia Institute of Technology Greedy algorithm Hamiltonian path Hospitality Hypergraph Implementation Instance (computer science) Institute Integer Iteration Linear inequality Linear programming Mathematical optimization Mathematics Model of computation Neuroscience Notation Operations research Optimization problem Order by Pairwise Parameter (computer programming) Parity (mathematics) Percentage Polyhedron Polytope Pricing Princeton University Processing (programming language) Project Quantity Reduced cost Requirement Result Rice University Rutgers University Scientific notation Search algorithm Search tree Self-similarity Simplex algorithm Solution set Solver Source code Special case Stochastic Subroutine Subsequence Subset Summation Test set Theorem Theory Time complexity Trade-off Travelling salesman problem Tree (data structure) Upper and lower bounds Variable (computer science) Variable (mathematics) |
| ISBN |
1-283-25611-8
9786613256119 1-4008-4110-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Front matter -- Contents -- Preface -- Chapter 1. The Problem -- Chapter 2. Applications -- Chapter 3. Dantzig, Fulkerson, and Johnson -- Chapter 4. History of TSP Computation -- Chapter 5. LP Bounds and Cutting Planes -- Chapter 6. Subtour Cuts and PQ-Trees -- Chapter 7. Cuts from Blossoms and Blocks -- Chapter 8. Combs from Consecutive Ones -- Chapter 9. Combs from Dominoes -- Chapter 10. Cut Metamorphoses -- Chapter 11. Local Cuts -- Chapter 12. Managing the Linear Programming Problems -- Chapter 13. The Linear Programming Solver Chapter 14. Branching -- Chapter 14. Branching -- Chapter 15. Tour Finding -- Chapter 16. Computation -- Chapter 17. The Road Goes On -- Bibliography -- Index |
| Record Nr. | UNINA-9910789748903321 |
|
Applegate David L
|
||
| Princeton, : Princeton University Press, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
