-
21 theory
1) теория; теоретические основы2) метод•- automatic control theory
- axiomatic set theory
- circuit theory
- coding theory
- communication theory
- data theory
- decision theory
- formal theory of testing
- function theory
- game theory
- graph theory
- group theory
- informal theory
- information theory
- lattice theory
- logic theory
- number theory
- OSA theory
- probability theory
- proof theory
- queueing theory
- reliability theory
- renewal theory
- sampling theory
- scheduling theory
- set theory
- similarity theory
- stability theory
- statistical theory
- switching theory
- theory of algorithms
- theory of binary decisions
- theory of computing
- theory of messagesEnglish-Russian dictionary of computer science and programming > theory
-
22 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
-
23 theory
ˈθɪərɪ сущ.
1) теория to advance, present, propose, suggest a theory ≈ предлагать, отстаивать теорию to advocate theory ≈ отстаивать теорию to combine theory and practice ≈ объединять теорию и практику to confirm a theory ≈ подтверждать теорию to develop a theory ≈ развивать теорию to disprove, explode, refute a theory ≈ опровергать, подрывать, разбивать теорию to formulate a theory ≈ формулировать теорию to test a theory ≈ проверять теорию pet theory ≈ излюбленная теория a theory evolves ≈ теория возникает, появляется a theory holds up ≈ теория подтверждается in theory ≈ в теории, теоретически In theory their plan makes sense. ≈ Теоретически их план имеет смысл. on a theory ≈ согласно теории They proceeded on the theory that the supplies would arrive on time. ≈ Они исходили из предположения, что припасы прибудут вовремя. She has a theory that drinking milk prevents colds. ≈ У нее была теория, что если будешь пить молоко, то не заболеешь. scientific theory game theory information theory political theory quantum theory systems theory big bang steady state theory theory of relativity numbers theory
2) разг. предположение теория;
- сoherent * последовательная теория - social-science theories социологические теории - general relativity * общая теория относительности - * of evolution теория эволюции - essays in * теоретические очерки - to formulate a * сформулировать теорию - to put forward a new * выдвинуть новую теорию - the theories that have sprung up in recent years теории, появившиеся в последние годы - the * of economic integration has made rapid strides теория экономической интеграции быстро развивалась (математика) раздел( математики), теория - game * туория игр - * of similarity теория подобия - the * of numbers теория чисел( разговорное) предположение, догадка;
особое мнение, взгляд - to have a * полагать - what's your * of the case? что вы думаете по этому поводу? - my * is that he is lying я думаю, что он лжет - my * has been amply born out моя точка зрения полностью подтвердилась теоретические правила, основы - the * of education теоретические основы воспитания без артикля: абстрактные, теоретические знания - * and practice теория и практика - in * в теории;
теоретически, абстрактно, отвлеченно - your plan is good in * вообще ваш план неплох applied decision ~ прикладная теория принятия решений automata ~ теория автоматов axiomatic ~ аксиоматическая теория communication ~ теория связи deterrence ~ теория устрашения expectation ~ теория вероятностей game ~ теория игр graph ~ теория графов theory разг. предположение;
to have a theory that... полагать, что... hemline ~ бирж. теория "длины дамских юбок" (шуточная теория о том, что цены акций движутся в одном направлении с длиной дамских юбок) information ~ теория информации intimidation ~ теория устрашения legal ~ правовая теория linear programming ~ теория линейного программирования liquidity preference ~ теория предпочтения ликвидности logic ~ матлогика logical ~ логическая теория nonlinearized ~ нелинейная теория ~ теория;
numbers theory теория чисел operations research ~ теория исследования операций optimal control ~ оптимальная теория управления optimization ~ теория оптимизации price ~ полит.эк. теория цен probabilistic decision ~ вероятностная теория принятия решений probability ~ теория вероятностей queueing ~ стат. теория массового обслуживания queueing ~ теория массового обслуживания representation ~ теория представлений sampling ~ теория выборочного метода theory разг. предположение;
to have a theory that... полагать, что... ~ теоретические основы ~ теоретические правила ~ теория;
numbers theory теория чисел ~ теория ~ of large samples теория больших выборок ~ of law теория права ~ of matrices теория матриц ~ of programming вчт. теория программирования ~ of queues стат. теория массового обслуживания ~ of random processes теория случайных процессов ~ of sets теория множеств ~ of statistical decision теория статистических решений ~ of stochastic processes теория случайных процессов ~ of testing hypothesis теория проверки гипотез ~ of time series теория временных рядов ~ of wages теория заработной платы ~ of waiting lines теория массового обслуживания ~ of weighted smoothing теория взвешенного сглаживания waiting line ~ стат. теория массового обслуживания -
24 logic of theory
Большой англо-русский и русско-английский словарь > logic of theory
-
25 logic of quantum theory
Математика: логика квантовой теорииУниверсальный англо-русский словарь > logic of quantum theory
-
26 logic of theory
Математика: логика теории -
27 first-order logic
= first-order predicate calculusлогика [предикатов] первого порядкаформальная логическая система, используемая в математике, лингвистике и языках логического программирования. Основными синтаксическими элементами логики первого порядка являются символы, которые обозначают объекты (константные символы, constant symbol), отношения (предикатные символы, predicate symbol) и функции (функциональные символы, functional symbol).Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > first-order logic
-
28 quantification theory
формальная система логики, известная также под названием "исчисление предикатов" (predicate calculus) (см.также first-order logic)Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > quantification theory
-
29 State transition logic is formally defined within finite automata theory
Общая лексика: Логика переходов (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World)Универсальный англо-русский словарь > State transition logic is formally defined within finite automata theory
-
30 теория логики
-
31 теория логики
Русско-английский словарь по радиоэлектронике > теория логики
-
32 математическая логика
Русско-английский словарь по информационным технологиям > математическая логика
-
33 математическая логика
1. mathematical logic2. logic theory3. mathematics of logicРусско-английский большой базовый словарь > математическая логика
-
34 математическая логика
1) Engineering: logic theory, mathematical logic2) Mathematics: logistics3) Information technology: logic, mathematics of logic4) Automation: mathematical logic (исследование мышления с помощью исчислений и формализованных языков), symbolic logicУниверсальный русско-английский словарь > математическая логика
-
35 математическая логика
Русско-английский политехнический словарь > математическая логика
-
36 математическая логика
Большой англо-русский и русско-английский словарь > математическая логика
-
37 математическая логика
Англо-русский словарь технических терминов > математическая логика
-
38 математична логіка
mathematical logic, mathematics of logic, logic theory -
39 математическая логика
mathematical logic, mathematics of logic, logic theoryРусско-английский словарь по вычислительной технике и программированию > математическая логика
-
40 Cognitive Science
The basic idea of cognitive science is that intelligent beings are semantic engines-in other words, automatic formal systems with interpretations under which they consistently make sense.... [P]eople and intelligent computers turn out to be merely different manifestations of the same underlying phenomenon. (Haugeland, 1981b, p. 31)2) Experimental Psychology, Theoretical Linguistics, and Computational Simulation of Cognitive Processes Are All Components of Cognitive ScienceI went away from the Symposium with a strong conviction, more intuitive than rational, that human experimental psychology, theoretical linguistics, and computer simulation of cognitive processes were all pieces of a larger whole, and that the future would see progressive elaboration and coordination of their shared concerns.... I have been working toward a cognitive science for about twenty years beginning before I knew what to call it. (G. A. Miller, 1979, p. 9)Cognitive Science studies the nature of cognition in human beings, other animals, and inanimate machines (if such a thing is possible). While computers are helpful within cognitive science, they are not essential to its being. A science of cognition could still be pursued even without these machines.Computer Science studies various kinds of problems and the use of computers to solve them, without concern for the means by which we humans might otherwise resolve them. There could be no computer science if there were no machines of this kind, because they are indispensable to its being. Artificial Intelligence is a special branch of computer science that investigates the extent to which the mental powers of human beings can be captured by means of machines.There could be cognitive science without artificial intelligence but there could be no artificial intelligence without cognitive science. One final caveat: In the case of an emerging new discipline such as cognitive science there is an almost irresistible temptation to identify the discipline itself (as a field of inquiry) with one of the theories that inspired it (such as the computational conception...). This, however, is a mistake. The field of inquiry (or "domain") stands to specific theories as questions stand to possible answers. The computational conception should properly be viewed as a research program in cognitive science, where "research programs" are answers that continue to attract followers. (Fetzer, 1996, pp. xvi-xvii)What is the nature of knowledge and how is this knowledge used? These questions lie at the core of both psychology and artificial intelligence.The psychologist who studies "knowledge systems" wants to know how concepts are structured in the human mind, how such concepts develop, and how they are used in understanding and behavior. The artificial intelligence researcher wants to know how to program a computer so that it can understand and interact with the outside world. The two orientations intersect when the psychologist and the computer scientist agree that the best way to approach the problem of building an intelligent machine is to emulate the human conceptual mechanisms that deal with language.... The name "cognitive science" has been used to refer to this convergence of interests in psychology and artificial intelligence....This working partnership in "cognitive science" does not mean that psychologists and computer scientists are developing a single comprehensive theory in which people are no different from machines. Psychology and artificial intelligence have many points of difference in methods and goals.... We simply want to work on an important area of overlapping interest, namely a theory of knowledge systems. As it turns out, this overlap is substantial. For both people and machines, each in their own way, there is a serious problem in common of making sense out of what they hear, see, or are told about the world. The conceptual apparatus necessary to perform even a partial feat of understanding is formidable and fascinating. (Schank & Abelson, 1977, pp. 1-2)Within the last dozen years a general change in scientific outlook has occurred, consonant with the point of view represented here. One can date the change roughly from 1956: in psychology, by the appearance of Bruner, Goodnow, and Austin's Study of Thinking and George Miller's "The Magical Number Seven"; in linguistics, by Noam Chomsky's "Three Models of Language"; and in computer science, by our own paper on the Logic Theory Machine. (Newell & Simon, 1972, p. 4)Historical dictionary of quotations in cognitive science > Cognitive Science
См. также в других словарях:
Theory (disambiguation) — Theory may refer to:;Concepts * Theory, a logical explanation for a given set of facts * Theory (mathematics) a branch of mathematics which covers a single subject (e.g. Number theory) * Theory (mathematical logic), the set of statements… … Wikipedia
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
Logic — • A historical survey from Indian and Pre Aristotelian philosophy to the Logic of John Stuart Mill Catholic Encyclopedia. Kevin Knight. 2006. Logic Logic … Catholic encyclopedia
Logic in Islamic philosophy — Logic (Arabic: Mantiq ) played an important role in early Islamic philosophy. Islamic law placed importance on formulating standards of argument, which gave rise to a novel approach to logic in Kalam, as seen in the method of qiyas . This… … Wikipedia
Theory-based semantics — is a phrase used by Richard L. Ballard to describe knowledge representations that are based on the premise that the binding element of human thought is theory, and that theory constrains the meaning of concepts, ideas and thought patterns… … Wikipedia
Logic Theorist — is a computer program written in 1955 and 1956 by Alan Newell, Herbert Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called the first artificial intelligence… … Wikipedia
Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… … Wikipedia
Theory of Constraints — (TOC) is an overall management philosophy. Dr. Eliyahu M. Goldratt introduced the Theory of constraints in his 1984 book titled The Goal . It is based on the application of scientific principles and logic reasoning to guide human based… … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
LOGIC — (Heb. חָכְמַת הַדִּבּוּר or מְלֶאכֶת הַהִגַּיוֹן), the study of the principles governing correct reasoning and demonstration. The term logic, according to Maimonides, is used in three senses: to refer to the rational faculty, the intelligible in… … Encyclopedia of Judaism
Logic as a Positive Science — is one of the major works of Italian Marxist philosopher Galvano Della Volpe. It was first published in 1950 as Logica come Scienza positiva . A second edition appeared in 1956 and according to translator, Jon Rothschild, Della Volpe was… … Wikipedia