Скачать или смотреть Lisa Su: Edge, Security, Cloud, Data. Holistic Development with Community.

Edge, Security, Cloud, Data. Holistic Development with Community.
#AMD #Tesla #Oracle #Microsoft #Development
1.Ben-Ari M (2008) Mathematical logic for computer science, 2nd edn. Springer International, London. ISBN-978-81-8128-344-3#Logic
2.Chowdhary KR (2012) Fundamentals of discrete mathematical structures, 2nd edn. EEE PHI India. ISBN: 978-81-203-4506-5#Structure
3.Cohen PJ (2008) Set theory and the continuum hypothesis. Dover, New York#SetTheory
4.Davis M, Putnam H (1960) A computing procedure for quantification theory. J ACM 7(3):201–215.  https://doi.org/10.1145/321033.321034...
5.Gelder AV (1991) The well-founded semantics for general logic programs. J ACM 38(3):620–650#Semantics
6.Hilbert D (2005) The foundations of geometry. Ebook # 17384#Reasoning #GeometricComplexity
7.Kaushik S (2002) Logic and prolog programming. New Age International, New Delhi#EmbeddedSystems
8.Puppes P (1972) Axiomatic set theory. Dover, New York#DataAnalytics
9.Shankar N (2009) Automated deduction for verification. ACM Comput Surv 41(4):20:1.  #Transactions