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.
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors
| From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiv, 293 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00B30 - Festschriften [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] 68M25 - Computer security [MSC 2020] |
| Soggetto non controllato |
Abstract Interpretation
Cyber Security Cyber-hygiene Data Privacy Finite State Machines Game Theory Healthcare Internet of Things Lambda calculus Logic Markov Processes Optimization Probabilistic computation Process calculi Program Analysis Program semantics Program verification Slicing Type theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249184 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors
| From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement / Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiv, 293 p. : ill. ; 24 cm |
| Soggetto topico |
00B30 - Festschriften [MSC 2020]
03B70 - Logic in computer science [MSC 2020] 68-XX - Computer science [MSC 2020] 68M25 - Computer security [MSC 2020] 68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020] |
| Soggetto non controllato |
Abstract Interpretation
Cyber Security Cyber-hygiene Data Privacy Finite State Machines Game Theory Healthcare Internet of Things Lambda calculus Logic Markov Processes Optimization Probabilistic computation Process calculi Program Analysis Program semantics Program verification Slicing Type theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00249184 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church
| Introduction to Mathematical Logic (PMS-13), Volume 13 / / Alonzo Church |
| Autore | Church Alonzo |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (389 pages) |
| Disciplina | 511.3 |
| Collana | Princeton Mathematical Series |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto non controllato |
Abstract algebra
Acta Mathematica Arithmetic Axiom of choice Axiom of infinity Axiom of reducibility Axiom schema Axiom Axiomatic system Binary function Boolean algebra (structure) Boolean ring Calculus ratiocinator Characterization (mathematics) Class (set theory) Classical mathematics Commutative property Commutative ring Conditional disjunction David Hilbert Decision problem Deduction theorem Denotation Disjunctive syllogism Double negation Duality (mathematics) Elementary algebra Elementary arithmetic English alphabet Equation Existential quantification Expression (mathematics) Formation rule Frege (programming language) Function (mathematics) Functional calculus Fundamenta Mathematicae Gödel numbering Gödel's completeness theorem Gödel's incompleteness theorems Hilbert's program Hypothetical syllogism Imperative logic Inference Introduction to Mathematical Philosophy Lambda calculus Linear differential equation Logic Logical connective Logical disjunction Material implication (rule of inference) Mathematical analysis Mathematical induction Mathematical logic Mathematical notation Mathematical practice Mathematical problem Mathematical theory Mathematics Mathematische Zeitschrift Metatheorem Modal logic Modus ponendo tollens Natural number Naturalness (physics) Negation Notation Number theory Object language Parity (mathematics) Predicate (mathematical logic) Prenex normal form Principia Mathematica Propositional calculus Propositional function Propositional variable Quantifier (logic) Range (mathematics) Real number Recursion (computer science) Restriction (mathematics) Riemann surface Ring (mathematics) Rule of inference Scientific notation Second-order arithmetic Series (mathematics) Sign (mathematics) Skolem normal form Special case Tautology (logic) Term logic The Principles of Mathematics Theorem Three-dimensional space (mathematics) Transfinite number Triviality (mathematics) Truth table Variable (mathematics) Zermelo set theory |
| ISBN | 1-4008-8145-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Preface -- Contents -- Introduction -- I. The Propositional Calculus -- II. The Propositional Calculus (Continued) -- III. Functional Calculi of First Order -- IV. The Pure Functional Calculus of First Order -- V. Functional Calculi of Second Order -- Index of Definitions -- Index of Authors -- Errata |
| Record Nr. | UNINA-9910154754303321 |
Church Alonzo
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||