書目名稱Guide to Discrete Mathematics網(wǎng)絡(luò)公開度學科排名
書目名稱Guide to Discrete Mathematics被引頻次
書目名稱Guide to Discrete Mathematics被引頻次學科排名
書目名稱Guide to Discrete Mathematics年度引用
書目名稱Guide to Discrete Mathematics年度引用學科排名
書目名稱Guide to Discrete Mathematics讀者反饋
書目名稱Guide to Discrete Mathematics讀者反饋學科排名
作者: dyspareunia 時間: 2025-3-21 20:21
Graph Theory,ps between them. It has been applied to practical problems such as the modelling of computer networks; determining the shortest driving route between two cities; the link structure of a website; the travelling salesman problem; and the four-colour problem.作者: Thyroiditis 時間: 2025-3-22 02:06
Elisabetta Basilico,Tommi JohnsenMathematical induction Mathematical induction is an important proof technique used in mathematics, and it is often used to establish the truth of a statement for all natural numbers. There are two parts to a proof by induction, and these are the base step and the inductive step.作者: 引水渠 時間: 2025-3-22 05:17
SmartSchool - Die Schule von morgenAlgebra is the branch of mathematics that uses letters in the place of numbers, where the letters stand for variables or constants that are used in mathematical expressions. Algebra is the study of such mathematical symbols and the rules for manipulating them, and it is a powerful tool for problem solving in science and engineering.作者: 彎曲的人 時間: 2025-3-22 11:07
Mathematical Induction and Recursion,Mathematical induction Mathematical induction is an important proof technique used in mathematics, and it is often used to establish the truth of a statement for all natural numbers. There are two parts to a proof by induction, and these are the base step and the inductive step.作者: AGONY 時間: 2025-3-22 15:53 作者: AGONY 時間: 2025-3-22 18:57
Guide to Discrete Mathematics978-3-319-44561-8Series ISSN 1868-0941 Series E-ISSN 1868-095X 作者: compassion 時間: 2025-3-22 23:03
Mathematics in Civilization, and Romans and the Islamic world. The Babylonian civilization flourished in Mesopotamia (in modern Iraq) from about 2000 B.C., until about 300 B.C., and they made important contributions to mathematics. The Egyptian Civilization developed along the Nile from about 4000 B.C., and their knowledge of 作者: 十字架 時間: 2025-3-23 05:05 作者: FAWN 時間: 2025-3-23 06:08
Number Theory,rties such as the parity of a number; divisibility; additive and multiplicative properties; whether a number is prime or composite; the prime factors of a number; the greatest common divisor and least common multiple of two numbers; and so on. Number theory has many applications in computing: for ex作者: Evocative 時間: 2025-3-23 11:22
Sequences, Series and Permutations and Combinations,tric series. We discuss the calculation of simple and compound interest, and the concept of the time value of money, and its application to determine the present value of a payment to be made in the future. We discuss annuities, which are a series of payments made at regular intervals over a period 作者: prosthesis 時間: 2025-3-23 17:52 作者: Delirium 時間: 2025-3-23 18:52 作者: gentle 時間: 2025-3-24 02:01
Graph Theory,ps between them. It has been applied to practical problems such as the modelling of computer networks; determining the shortest driving route between two cities; the link structure of a website; the travelling salesman problem; and the four-colour problem.作者: 監(jiān)禁 時間: 2025-3-24 04:02 作者: 似少年 時間: 2025-3-24 09:13
Coding Theory,eory and practical algorithms for error detection and correction, and it plays an important role in modern communication systems that require reliable and efficient transmission of information. An error correcting code encodes the data by adding a certain amount of redundancy to the message. This en作者: 木訥 時間: 2025-3-24 13:31
Language Theory and Semantics,eeds to be syntactically correct with respect to its grammar. The semantics of the language is deeper, and determines the meaning of what has been written by the programmer. The compiler preserves the semantics of the language, where a compiler is a program that translates a program that is written 作者: 逃避責任 時間: 2025-3-24 17:30 作者: DEFT 時間: 2025-3-24 21:54 作者: 行為 時間: 2025-3-25 03:01
Propositional and Predicate Logic,ncode simple arguments that are expressed in natural language, and to determine their validity. The validity of an argument may be determined from truth tables, or using the inference rules such as modus ponens to establish the conclusion via deductive steps. Predicate logic allows complex facts abo作者: CULP 時間: 2025-3-25 06:36 作者: 人工制品 時間: 2025-3-25 08:07 作者: glowing 時間: 2025-3-25 11:54
Formal Methods, the software. They consist of a formal specification language, and employ a collection of tools to support the syntax checking of the specification, as well as the proof of properties of the specification. They allow questions to be asked about what the system does independently of the implementati作者: 沒有貧窮 時間: 2025-3-25 18:45
Z Formal Specification Language,ermelo set theory. It was developed at the Programming Research Group at Oxford University in the early 1980s. Z specifications are mathematical and employ a classical two-valued logic. The use of mathematics ensures precision, and allows inconsistencies and gaps in the specification to be identifie作者: 發(fā)展 時間: 2025-3-25 20:05
Himanshi Garg,Soumya Ranjan Purohit and Romans and the Islamic world. The Babylonian civilization flourished in Mesopotamia (in modern Iraq) from about 2000 B.C., until about 300 B.C., and they made important contributions to mathematics. The Egyptian Civilization developed along the Nile from about 4000 B.C., and their knowledge of 作者: 秘方藥 時間: 2025-3-26 03:06 作者: Lacunar-Stroke 時間: 2025-3-26 05:18 作者: 短程旅游 時間: 2025-3-26 11:15
Masoud Mohammadian,Dimitrios Hatzinakostric series. We discuss the calculation of simple and compound interest, and the concept of the time value of money, and its application to determine the present value of a payment to be made in the future. We discuss annuities, which are a series of payments made at regular intervals over a period 作者: Dri727 時間: 2025-3-26 16:42 作者: STALL 時間: 2025-3-26 19:18 作者: 豐富 時間: 2025-3-26 23:32 作者: Spinal-Fusion 時間: 2025-3-27 02:10 作者: ATP861 時間: 2025-3-27 08:19
,Digitalisierungsma?nahmen ausw?hlen,eory and practical algorithms for error detection and correction, and it plays an important role in modern communication systems that require reliable and efficient transmission of information. An error correcting code encodes the data by adding a certain amount of redundancy to the message. This en作者: dyspareunia 時間: 2025-3-27 12:48 作者: Frenetic 時間: 2025-3-27 15:02
,Emerging Themes and What’s Next?,cular argument . just involves following the instructions in the algorithm, and it produces the result .(.) in a finite number of steps if . is in the domain of .. If . is not in the domain of . then the algorithm may produce an answer saying so or it might run forever never halting. The concept of 作者: 圍巾 時間: 2025-3-27 20:42
https://doi.org/10.1007/978-3-319-67973-0cal rules, and the logical argument establishes the truth of the conclusion provided that the premises are true. The origins of logic are with the Greeks who were interested in the nature of truth. Aristotle developed syllogistic logic, where a syllogism consists of two premises and a conclusion. Th作者: 陳列 時間: 2025-3-28 01:59
Das Gespenst der Digitalisierung,ncode simple arguments that are expressed in natural language, and to determine their validity. The validity of an argument may be determined from truth tables, or using the inference rules such as modus ponens to establish the conclusion via deductive steps. Predicate logic allows complex facts abo作者: OGLE 時間: 2025-3-28 04:26 作者: Disk199 時間: 2025-3-28 07:38
Helga Jonuschat,Marc Schelewskyrmany in the late 1960s. Mathematics plays a key role in engineering, and it may potentially assist software engineers in delivering high-quality software products that are safe to use. However, it is important to recognize that while the use of mathematics is suitable for some areas of software eng作者: Critical 時間: 2025-3-28 12:38
,The Smell of Black Country ‘chai’, the software. They consist of a formal specification language, and employ a collection of tools to support the syntax checking of the specification, as well as the proof of properties of the specification. They allow questions to be asked about what the system does independently of the implementati作者: 表兩個 時間: 2025-3-28 14:50 作者: 愉快么 時間: 2025-3-28 22:37
Himanshi Garg,Soumya Ranjan Purohitization including mathematics, logic and philosophy. The Golden Age of Islamic civilization was from 750 A.D. to 1250 A.D., and enlightened caliphs recognized the value of knowledge, and sponsored scholars to come to Baghdad to gather and translate the existing world knowledge into Arabic.作者: Bother 時間: 2025-3-29 01:53
https://doi.org/10.1007/978-3-658-40173-3s a relation between . and . and that (., .) ∈.. A total function .: . → . is a special relation such that for each element . ∈?A there is exactly one element . ∈?B. This is written as .(.)?=?.. A partial function differs from a total function in that the function may be undefined for one or more values of ..作者: 截斷 時間: 2025-3-29 03:24 作者: Collected 時間: 2025-3-29 10:32
,Emerging Themes and What’s Next?,1936 that mathematics is not decidable: i.e. there is no mechanical procedure (i.e. algorithm) to determine whether an arbitrary mathematical proposition is true or false, and so the only way is to determine the truth or falsity of a statement is, try to solve the problem.作者: jaunty 時間: 2025-3-29 12:06 作者: lacrimal-gland 時間: 2025-3-29 19:15 作者: 躺下殘殺 時間: 2025-3-29 20:49
Mathematics in Civilization,ization including mathematics, logic and philosophy. The Golden Age of Islamic civilization was from 750 A.D. to 1250 A.D., and enlightened caliphs recognized the value of knowledge, and sponsored scholars to come to Baghdad to gather and translate the existing world knowledge into Arabic.作者: 苦笑 時間: 2025-3-30 00:56
Sets, Relations and Functions,s a relation between . and . and that (., .) ∈.. A total function .: . → . is a special relation such that for each element . ∈?A there is exactly one element . ∈?B. This is written as .(.)?=?.. A partial function differs from a total function in that the function may be undefined for one or more values of ..作者: 芳香一點 時間: 2025-3-30 07:54 作者: 鳴叫 時間: 2025-3-30 11:54 作者: 極小 時間: 2025-3-30 12:54 作者: organism 時間: 2025-3-30 17:46
Advanced Topics in Logic,e discuss several approaches that have been applied to dealing with undefined values that arise with partial functions including the logic of partial functions; Dijkstra’s approach with his . and . operators; and Parnas’s approach which preserves a classical two-valued logic.作者: Charade 時間: 2025-3-30 22:11
Matrix Theory,e addition and multiplication of matrices are considered, and the determinant and inverse of a matrix is discussed. The application of matrices to solving a set of linear equations using Gaussian elimination is considered.作者: 沖擊力 時間: 2025-3-31 01:11 作者: ELATE 時間: 2025-3-31 07:55 作者: CAMEO 時間: 2025-3-31 10:29
,Auf dem Weg zu neuen Gesch?ftsmodellen,ample, the security of the RSA public key cryptographic system relies on the infeasibility of the integer factorization problem for large numbers. There are several unsolved problems in number theory: e.g., Goldbach’s Conjecture states that every even integer greater than two is the sum of two primes.作者: 1FAWN 時間: 2025-3-31 15:12 作者: liposuction 時間: 2025-3-31 21:20 作者: fleeting 時間: 2025-3-31 22:31
Digitalisierung von Kernprozessen,in some programming language into another form. It involves syntax analysis and parsing to check the syntactic validity of the program; semantic analysis to determine what the program should do; optimization to improve the speed and performance; and code generation in some target language.作者: Polydipsia 時間: 2025-4-1 05:47 作者: 無政府主義者 時間: 2025-4-1 08:38
