標(biāo)題: Titlebook: Mathematics in Computing; An Accessible Guide Gerard O’Regan Textbook 2020Latest edition Springer Nature Switzerland AG 2020 Calculus.Codi [打印本頁] 作者: Disaster 時(shí)間: 2025-3-21 16:32
書目名稱Mathematics in Computing影響因子(影響力)
書目名稱Mathematics in Computing影響因子(影響力)學(xué)科排名
書目名稱Mathematics in Computing網(wǎng)絡(luò)公開度
書目名稱Mathematics in Computing網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Mathematics in Computing被引頻次
書目名稱Mathematics in Computing被引頻次學(xué)科排名
書目名稱Mathematics in Computing年度引用
書目名稱Mathematics in Computing年度引用學(xué)科排名
書目名稱Mathematics in Computing讀者反饋
書目名稱Mathematics in Computing讀者反饋學(xué)科排名
作者: SCORE 時(shí)間: 2025-3-21 20:41 作者: 山崩 時(shí)間: 2025-3-22 01:57 作者: AMPLE 時(shí)間: 2025-3-22 06:09 作者: Evacuate 時(shí)間: 2025-3-22 11:19 作者: 使閉塞 時(shí)間: 2025-3-22 14:32 作者: 加入 時(shí)間: 2025-3-22 19:27
Computability and Decidability,ine. Church and Turing showed that mathematics is not decidable. In other words, there is no mechanical procedure (i.e. algorithm) to determine whether an arbitrary mathematical proposition is true or false, and so the only way to determine the truth or falsity of a statement is trying to solve the problem.作者: legitimate 時(shí)間: 2025-3-22 22:44
https://doi.org/10.1007/978-3-030-34209-8Calculus; Coding Theory; Cryptography; Discrete Mathematics; Formal Methods; Graph Theory; Group Theory an作者: 強(qiáng)有力 時(shí)間: 2025-3-23 05:09
Gerard O’ReganProvides a broad review of the applications of mathematics to computing, including software engineering, coding theory, cryptography and software reliability.Emphasizes the application of mathematics 作者: Optimum 時(shí)間: 2025-3-23 06:03
Undergraduate Topics in Computer Sciencehttp://image.papertrans.cn/m/image/626903.jpg作者: 燒瓶 時(shí)間: 2025-3-23 12:15 作者: conformity 時(shí)間: 2025-3-23 13:52
Cryptography,This chapter discusses cryptography, which is an important application of number theory. The codebreaking work done at Bletchley Park in England during the Second World War is discussed, and the fundamentals of cryptography, including private and public-key cryptosystems, are discussed.作者: Ligneous 時(shí)間: 2025-3-23 20:39
Coding Theory,This chapter presents coding theory and is concerned with error detection and error correction codes. The underlying mathematics includes abstract mathematics such as group theory, rings, fields and vector spaces.作者: 館長(zhǎng) 時(shí)間: 2025-3-23 23:23 作者: intolerance 時(shí)間: 2025-3-24 05:59
Matrix Theory,This chapter discusses matrices including 2 × 2 and general . × . matrices. Various operations such as the addition and multiplication of matrices are considered, and the determinant and inverse of a square matrix are discussed. The application of matrices to solving a set of linear equations using Gaussian elimination is considered.作者: arcane 時(shí)間: 2025-3-24 09:57
A Short History of Logic,This chapter presents a short history of logic, and we discuss Greek contributions to syllogistic logic, stoic logic, fallacies and paradoxes. Boole’s symbolic logic and its application to digital computing are discussed, and we consider Frege’s work on predicate logic.作者: 我的巨大 時(shí)間: 2025-3-24 13:58 作者: Pudendal-Nerve 時(shí)間: 2025-3-24 18:19
Software Engineering Mathematics,Chapter 19 discusses software engineering and the mathematics to support software engineering. We discuss traditional software engineering including the activities in the waterfall lifecycle model. We discuss early mathematical work in software engineering including Floyd’s work on assertions which influenced C. A. R. Hoare.作者: tariff 時(shí)間: 2025-3-24 19:10 作者: mechanism 時(shí)間: 2025-3-25 01:44
Foundations of Computing, by Leibniz. The difference engine was designed by Babbage to evaluate polynomials and to produce accurate mathematical tables. Babbage’s design of the analytic engine provided the vision of a modern computer, and he envisaged that it would be analogous to the operation of the ., which is designed t作者: strdulate 時(shí)間: 2025-3-25 04:26
Overview of Mathematics in Computing,well-defined objects, and it may be finite or infinite. A relation between two sets A and B indicates a relationship between members of the two sets and is a subset of the Cartesian product of the two sets. A function is a special type of relation such that for each element in A there is at most one作者: Exploit 時(shí)間: 2025-3-25 10:56 作者: 開花期女 時(shí)間: 2025-3-25 15:41
Number Theory,erties of the natural numbers and integers. We discuss prime number theory where prime numbers are fundamental in arithmetic where every integer can be factored as a product of primes. Euclid’s algorithm may be employed to determine the greatest common divisor of two numbers. There are many applicat作者: 織布機(jī) 時(shí)間: 2025-3-25 17:12
Algebra,o solve simultaneous equations. We show how quadratic equations may be solved by factorization, completing the square or using the quadratic formula. We present the laws of logarithms and indices. We discuss several structures used in abstract algebra, including monoids, groups, rings, integral doma作者: 逗它小傻瓜 時(shí)間: 2025-3-25 20:17 作者: 小樣他閑聊 時(shí)間: 2025-3-26 00:53 作者: 虛假 時(shí)間: 2025-3-26 07:15
Computability and Decidability,ine. Church and Turing showed that mathematics is not decidable. In other words, there is no mechanical procedure (i.e. algorithm) to determine whether an arbitrary mathematical proposition is true or false, and so the only way to determine the truth or falsity of a statement is trying to solve the 作者: Ankylo- 時(shí)間: 2025-3-26 11:15 作者: Indelible 時(shí)間: 2025-3-26 14:41
Advanced Topics in Logic, the applications of logic to AI. Fuzzy logic is an extension of classical logic that acts as a mathematical model for vagueness. Temporal logic is concerned with the expression of properties that have time dependencies, and it allows temporal properties about the past, present and future to be expr作者: EVADE 時(shí)間: 2025-3-26 17:20 作者: foreign 時(shí)間: 2025-3-26 22:14
Gerard O’Reganven at a high speed. The algorithm of controlling the steering system during the lane change as proposed herein is the result of optimizing the control process by means of a reference model for the dynamics of vehicle motion with various degrees of simplification. The algorithm includes the determin作者: hidebound 時(shí)間: 2025-3-27 04:54 作者: mettlesome 時(shí)間: 2025-3-27 08:57
Gerard O’Reganmple and predictable strategic situations (e.g. coordination). In this paper, we begin instead to explore economies where the overall payoff landscape is very complicated (rugged). We propose a model where the payoff of any agent changes in an unpredictable way as soon as any small variation in the 作者: adjacent 時(shí)間: 2025-3-27 10:01
Gerard O’Regansent experimental and numerical results concerning diverse bifurcation sequences associated with the dynamics of localized dissipative high currrent-density domains, so-called filaments. In particular, we discuss (i) the transition from a spatially uniform to a stable stationary filament, (ii) the b作者: 增長(zhǎng) 時(shí)間: 2025-3-27 14:57
Gerard O’Reganuilibrium. They often involve switching behaviour, self-generated current or voltage oscillations, current filamentation, field domain formation and solid-state turbulence. In this paper the theory of such instabilities is reviewed with a special emphasis on recent progress in the description of cur作者: 獨(dú)特性 時(shí)間: 2025-3-27 19:57
Gerard O’Regans in the discrete case (see examples in Chap.?.), we are interested in the classification of their dynamics. After a short review of the basic concepts of Hamiltonian mechanics, we define integrability (and therewith regular motion) in Sect.?.. The non-integrability property is then discussed in Sec作者: 繼而發(fā)生 時(shí)間: 2025-3-28 00:11
Gerard O’Regang the same audience.Endorsed by Giulio Casati, one of the le.The field of nonlinear dynamics and chaos has grown very much over the last few decades and is becoming more and more relevant in different disciplines. This book presents a clear and concise introduction to the field of nonlinear dynamics作者: delta-waves 時(shí)間: 2025-3-28 03:46 作者: MOTIF 時(shí)間: 2025-3-28 09:48
Gerard O’Regans in the discrete case (see examples in Chap.?.), we are interested in the classification of their dynamics. After a short review of the basic concepts of Hamiltonian mechanics, we define integrability (and therewith regular motion) in Sect.?.. Non-integrability is then discussed in Sect.?.. The add作者: 魅力 時(shí)間: 2025-3-28 13:36 作者: 五行打油詩 時(shí)間: 2025-3-28 16:42 作者: Eosinophils 時(shí)間: 2025-3-28 19:59
Gerard O’Reganysicat and biological scientists. This chapter is meant to be a contribution to stimulating that interaction by presenting a discussion of a problem in biology which is addressed by tools of nonlinear dynamics and by posing, along the way, issues of statistical relevance not answered by the communit作者: 搏斗 時(shí)間: 2025-3-29 02:30 作者: Instrumental 時(shí)間: 2025-3-29 06:56 作者: 使迷醉 時(shí)間: 2025-3-29 08:47
Gerard O’Regantrajectories will be the same for all times. However, for the case of deterministic chaos, a tiny difference in the initial condition can lead to a completely different long-term behavior. In contrast to deterministic systems, for . not even the short-term behavior is predictable, not even in princi作者: 符合規(guī)定 時(shí)間: 2025-3-29 13:19
Gerard O’Reganightforward extension from a point attractor in one dimension to a line attractor in two dimensions is a surface. But how can a trajectory fill a surface densely? The easiest way to see how this works is shown in fig. 4.1 with a trajectory that winds around a torus. Such a trajectory is given by the作者: 確保 時(shí)間: 2025-3-29 18:55 作者: 弓箭 時(shí)間: 2025-3-29 23:05
Gerard O’Reganightforward extension from a point attractor in one dimension to a line attractor in two dimensions is a surface. But how can a trajectory fill a surface densely? The easiest way to see how this works is shown in fig. 4.1 with a trajectory that winds around a torus. Such a trajectory is given by the作者: –scent 時(shí)間: 2025-3-30 00:35
Gerard O’Reganightforward extension from a point attractor in one dimension to a line attractor in two dimensions is a surface. But how can a trajectory fill a surface densely? The easiest way to see how this works is shown in fig. 4.1 with a trajectory that winds around a torus. Such a trajectory is given by the作者: indoctrinate 時(shí)間: 2025-3-30 07:01
1863-7310 tions of such prominent figures as Leibniz, Babbage, Boole, and von Neumann; introduces the fundamental mathematical concepts of sets, relations and functions, along with the basics of number theory, algebra, a978-3-030-34208-1978-3-030-34209-8Series ISSN 1863-7310 Series E-ISSN 2197-1781 作者: 確定 時(shí)間: 2025-3-30 10:49 作者: 人類的發(fā)源 時(shí)間: 2025-3-30 14:50 作者: 創(chuàng)作 時(shí)間: 2025-3-30 20:26
Gerard O’Reganumn reactor, where a generic autocatalytic reaction takes place, is analyzed with tools typical of non-linear analysis [6]. A thorough description of both static and dynamic attractors is presented for typical operating conditions. The superficial gas velocity and the liquid velocity are considered 作者: Valves 時(shí)間: 2025-3-30 22:12 作者: 陪審團(tuán)每個(gè)人 時(shí)間: 2025-3-31 03:30
Gerard O’Reganer consideration are strongly correlated to oscillations of global system variables, e. g., the total current flowing through the device, and, consequently, a determination of the filament motion is possible by investigating only global variables. — The theoretical modelling of the device under cons作者: commensurate 時(shí)間: 2025-3-31 06:44
Gerard O’Reganr spiking filaments, filaments travelling laterally in a regular or intermittent way, and the formation of static or oscillating domains giving rise to multistable current-voltage characteristics. The following specific model systems are treated in detail: (i) The dynamic Hall instability in crossed作者: Euthyroid 時(shí)間: 2025-3-31 10:04 作者: maladorit 時(shí)間: 2025-3-31 17:22
Gerard O’Regang of the transition from regular to chaotic motion is the KAM theorem (Sect.?.), which assures the stability in nonlinear systems that are not integrable but behave approximately like integrable ones. Within the framework of the surface of section technique, chaotic motion is discussed from a phenom
