Mathematical Logic

Part 1 of ebook "Guide to discrete mathematics: An accessible introduction to the history, theory, logic and applications" provides readers with contents including: Chapter 1 - Mathematics in civilization; Chapter 2 - Sets, relations and functions; Chapter 3 - Number theory; Chapter 4 - Mathematical induction and recursion; Chapter 5 - Sequences, series and permutations and combinations; Chapter 6 - Algebra; Chapter 7 - Automata theory; Chapter 8 - Matrix theory; Chapter 9 - Graph theory;...

170p daonhiennhien 03-07-2024 1 1   Download

Part 2 of ebook "Guide to discrete mathematics: An accessible introduction to the history, theory, logic and applications" provides readers with contents including: Chapter 10 - Cryptography; Chapter 11 - Coding theory; Chapter 12 - Language theory and semantics; Chapter 13 - Computability and decidability; Chapter 14 - A short history of logic; Chapter 15 - Propositional and predicate logic; Chapter 16 - Advanced topics in logic; Chapter 17 - Software engineering mathematics; Chapter 18 - Formal methods; Chapter 19 - Z formal specification language; Chapter 20 - Probability, statistics and...

208p daonhiennhien 03-07-2024 3 1   Download

Part 1 of ebook "Introduction to deep learning: From logical calculus to artificial intelligence" provides readers with contents including: Chapter 1 - From logic to cognitive science; Chapter 2 - Mathematical and computational prerequisites; Chapter 3 - Machine learning basics;...

89p daonhiennhien 03-07-2024 2 1   Download

Part 1 of ebook "Modelling computing systems: Mathematics for computer science" provides readers with contents including: mathematics for computer science; propositional logic; sets; boolean algebras and circuits; predicate logic; proof strategies; functions; relations; inductive and recursive definitions; proofs by induction; games and strategies;...

287p daonhiennhien 03-07-2024 2 1   Download

Part 2 of ebook "Modelling computing systems: Mathematics for computer science" provides readers with contents including: modelling computing systems; modelling processes; distinguishing between processes; logical properties of processes; concurrent processes; temporal properties;...

220p daonhiennhien 03-07-2024 3 1   Download

Phần 2 cuốn "Từ điển Toán học Anh -Việt và Việt-Anh" gồm có 18000 thuật ngữ phần Việt - Anh thuộc các lĩnh vực, các ngành và bộ môn toán học cơ bản, toán học ứng dụng, máy tính, tin học và một số ngành có liên quan như giải tích, giải tích hàm, hàm số phức, hàm số thực, phương trình vi phân, phương trình toán lý, đại số cao cấp, đại số tuyến tính, logic toán, xác suất thống kê, lý thuyết số, lý thuyết trò chơi, cơ học, cơ sở hình học, hình học xạ ảnh, hình học vi phân, toán kinh tế, điều khiển học, phương pháp tính, phương pháp lập trình máy tính, thống kê và một số ngành kỹ thuật.

341p zizaybay1103 05-06-2024 5 2   Download

This book is for people who want to get acquainted with the concepts of basic geometry without taking a formal course. It can serve as a supplemental text in a classroom, tutored, or home-schooling environment. It should also be useful for career changers who need to refresh their knowledge of the subject. I recommend that you start at the beginning of this book and go straight through. This is not a rigorous course in theoretical geometry. Such a course defines postulates (or axioms) and provides deductive proofs of statements called theorems by applying mathematical logic.

322p zizaybay1103 29-05-2024 3 2   Download

Ebook "Pre algebra demystified: A self teaching guide" presents the basic topics in arithmetic and introductory algebra in a logical, easy-to-read format. This book can be used as an independent study course or as a supplement to a pre-algebra course. To learn mathematics, you must know the vocabulary, understand the rules and procedures, and be able to apply these rules and procedures to mathematical problems in order to solve them. This book is written in a style that will help you with learning. Important terms have been bold faced, and important rules and procedures have been italicized.

302p zizaybay1103 29-05-2024 2 2   Download

This book is for people who want to get acquainted with the concepts of basic trigonometry without taking a formal course. It can serve as a supple- mental text in a classroom, tutored, or home-schooling environment. It should also be useful for career changers who need to refresh their knowledge of the subject. This is not a rigorous course in theoretical trigonometry. Such a course defines postulates (or axioms) and provides deductive proofs of statements called theorems by applying mathematical logic. Proofs are generally omitted in this book for the sake of simplicity and clarity.

322p zizaybay1103 29-05-2024 3 1   Download

This study is qualitative with descriptive and aims to determine the process of generalizing the pattern image of high performance students based on the action, process, object, and schema (APOS) theory. The participants in this study were high performance eighth-grade Indonesian junior high school.

13p viarnault 25-04-2024 3 1   Download

Logical-mathematical intelligence is highly needed to ease students’ understanding of mathematics concepts. This study aims to investigate the use of mathematics comics to increase the logical-mathematical intelligence of junior high school students in urban and rural schools. This study employed a quantitative approach with a pretest-posttest control group design.

13p viarnault 25-04-2024 1 1   Download

Ebook "Peirce and biosemiotics: A guess at the riddle of life" discusses the importance of Peirce´s philosophy and theory of signs to the development of Biosemiotics, the science that studies the deep interrelation between meaning and life. Peirce considered semeiotic as a general logic part of a complex architectonic philosophy that includes mathematics, phenomenology and a theory of reality.

255p manmanthanhla0201 26-02-2024 1 1   Download

Part 1 book "Discrete mathematics and its applications" includes content: The foundations - logic and proofs; basic structures - sets, functions, sequences, sums, and matrices; algorithms; number theory and cryptography, induction and recursion; counting; discrete probability.

521p muasambanhan06 01-02-2024 4 1   Download

Part 1 book "Discrete mathematics" includes content: Sets and logic; proofs; functions, sequences, and relations; algorithms; introduction to number theory; counting method sand the pigeonhole principle.

347p muasambanhan05 16-01-2024 2 0   Download

Part 1 book "Discrete mathematics and its applications" includes content: The foundations - logic and proofs; basic structures - sets, functions, sequences, sums, and matrices; algorithms; number theory and cryptography; induction and recursion; counting; discrete probability; advanced counting techniques; relations.

593p muasambanhan05 16-01-2024 4 0   Download

Ebook "Brazilian studies in philosophy and history of science: An account of recent works" is the first attempt to present to a general audience, works from Brazil on this subject. The included papers are original, covering a remarkable number of relevant topics of philosophy of science, logic and on the history of science. The Brazilian community has increased in the last years in quantity and in quality of the works, most of them being published in respectable international journals on the subject.

367p tuongnhuoclan 28-11-2023 4 2   Download

Ebook "Scholae academicae: Some account of the studies at the English universities in the eighteenth century" looks at how academic study, methods and customs in Oxford and Cambridge universities were conducted in the eighteenth century. Using memoirs, miscellaneous publications as well as educational resources and manuscripts it looks at the history and method of the old Cambridge test and examination for the Arts and Mathematics, the study of grammar, logic and rhetoric and the Classics and Moral Philosophy.

452p tuongnhuoclan 28-11-2023 5 3   Download

This book touches on several large areas in mathematics, including computability and mathematical logic. I have picked and chosen only those topics and concepts most relevant to understanding Turing's paper. Many details are omitted, and this book is no substitute for the rigor and depth you'll find in dedicated books on the subjects of computability and logic. Those readers interested in delving further into these fascinating areas of study can consult the bibliography for guidance.

385p haojiubujain08 01-11-2023 6 2   Download

Lecture Discrete mathematics: Chapter 1.2 provide students with content about: predicate logic (first-order logic (FOL), predicate calculus); the language of quantifiers; logical equivalences; nested quantifiers; translation from predicate logic to English; translation from English to predicate logic;... Please refer to the detailed lecture content!

57p diepkhinhchau 18-09-2023 3 3   Download

Part 1 of ebook "Philosophical and mathematical logic" provides readers with contents including: chapter 1 - logic, a first impression; chapter 2 - propositional logic; chapter 3 - sets, finite and infinite; chapter 4 - predicate logic;...

279p hanlinhchi 29-08-2023 4 2   Download