|
Dimiter Skordev
Dimiter Skordev ( bg, Димитър Скордев) (born 1936 in Sofia) is a professor in the Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science at the University of Sofia. Chairman of the department in 1972-2000. Doyen and pioneer of mathematical logic research in Bulgaria who developed a Bulgarian school in the theory of computability, namely the algebraic (or axiomatic) recursion theory. He was the 1981 winner of ''Acad. Nikola Obreshkov Prize'', the highest Bulgarian award in mathematics, bestowed for his monograph ''Combinatory Spaces and Recursiveness in Them''.A. Soskova, L. Ivanov and I. GeorgievOn Dimiter Skordev by his students.In: ''Mathematics and Education in Mathematics, 2017''. Proceedings of the Forty-Sixth Spring Conference of the Union of Bulgarian Mathematicians, Borovets, April 9–13, 2017. pp. 52-62 (in Bulgarian) Skordev's field of scientific interests include computability and complexity in analysis, mathematic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (including the design and implementation of hardware and software). Computer science is generally considered an area of academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing security vulnerabilities. Computer graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of repositories o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bulgarian Logicians
Bulgarian may refer to: * Something of, from, or related to the country of Bulgaria * Bulgarians, a South Slavic ethnic group * Bulgarian language, a Slavic language * Bulgarian alphabet * A citizen of Bulgaria, see Demographics of Bulgaria * Bulgarian culture * Bulgarian cuisine, a representative of the cuisine of Southeastern Europe See also * * List of Bulgarians, include * Bulgarian name, names of Bulgarians * Bulgarian umbrella, an umbrella with a hidden pneumatic mechanism * Bulgar (other) * Bulgarian-Serbian War (other) The term Bulgarian-Serbian War or Serbian-Bulgarian War may refer to: * Bulgarian-Serbian War (839-842) * Bulgarian-Serbian War (853) * Bulgarian-Serbian wars (917-924) * Bulgarian-Serbian War (1330) * Bulgarian-Serbian War (1885) * Bulgarian-Serbi ... {{disambiguation Language and nationality disambiguation pages ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logicians
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
21st-century Bulgarian Mathematicians
The 1st century was the century spanning AD 1 ( I) through AD 100 ( C) according to the Julian calendar. It is often written as the or to distinguish it from the 1st century BC (or BCE) which preceded it. The 1st century is considered part of the Classical era, epoch, or historical period. The 1st century also saw the appearance of Christianity. During this period, Europe, North Africa and the Near East fell under increasing domination by the Roman Empire, which continued expanding, most notably conquering Britain under the emperor Claudius ( AD 43). The reforms introduced by Augustus during his long reign stabilized the empire after the turmoil of the previous century's civil wars. Later in the century the Julio-Claudian dynasty, which had been founded by Augustus, came to an end with the suicide of Nero in AD 68. There followed the famous Year of Four Emperors, a brief period of civil war and instability, which was finally brought to an end by Vespasian, ninth Roman em ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1936 Births
Events January–February * January 20 – George V of the United Kingdom and the British Dominions and Emperor of India, dies at his Sandringham Estate. The Prince of Wales succeeds to the throne of the United Kingdom as King Edward VIII. * January 28 – Britain's King George V state funeral takes place in London and Windsor. He is buried at St George's Chapel, Windsor Castle * February 4 – Radium E (bismuth-210) becomes the first radioactive element to be made synthetically. * February 6 – The IV Olympic Winter Games open in Garmisch-Partenkirchen, Germany. * February 10– 19 – Second Italo-Ethiopian War: Battle of Amba Aradam – Italian forces gain a decisive tactical victory, effectively neutralizing the army of the Ethiopian Empire. * February 16 – 1936 Spanish general election: The left-wing Popular Front coalition takes a majority. * February 26 – February 26 Incident (二・二六事件, ''Niniroku Jiken ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Standardization
Standardization or standardisation is the process of implementing and developing technical standards based on the consensus of different parties that include firms, users, interest groups, standards organizations and governments. Standardization can help maximize compatibility, interoperability, safety, repeatability, or quality. It can also facilitate a normalization of formerly custom processes. In social sciences, including economics, the idea of ''standardization'' is close to the solution for a coordination problem, a situation in which all parties can realize mutual gains, but only by making mutually consistent decisions. History Early examples Standard weights and measures were developed by the Indus Valley civilization.Iwata, Shigeo (2008), "Weights and Measures in the Indus Valley", ''Encyclopaedia of the History of Science, Technology, and Medicine in Non-Western Cultures (2nd edition)'' edited by Helaine Selin, pp. 2254–2255, Springer, . The centraliz ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Keyboard Layout
A keyboard layout is any specific physical, visual or functional arrangement of the keys, legends, or key-meaning associations (respectively) of a computer keyboard, mobile phone, or other computer-controlled typographic keyboard. is the actual positioning of keys on a keyboard. is the arrangement of the legends (labels, markings, engravings) that appear on those keys. is the arrangement of the key-meaning association or keyboard mapping, determined in software, of all the keys of a keyboard; it is this (rather than the legends) that determines the actual response to a key press. Modern computer keyboards are designed to send a scancode to the operating system (OS) when a key is pressed or released: this code reports only the key's row and column, not the specific character engraved on that key. The OS converts the scancode into a specific binary character code using a "scancode to character" conversion table, called the keyboard mapping table. This means that a physical key ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Phonetics
Phonetics is a branch of linguistics that studies how humans produce and perceive sounds, or in the case of sign languages, the equivalent aspects of sign. Linguists who specialize in studying the physical properties of speech are phoneticians. The field of phonetics is traditionally divided into three sub-disciplines based on the research questions involved such as how humans plan and execute movements to produce speech (articulatory phonetics), how various movements affect the properties of the resulting sound (acoustic phonetics), or how humans convert sound waves to linguistic information (auditory phonetics). Traditionally, the minimal linguistic unit of phonetics is the phone—a speech sound in a language which differs from the phonological unit of phoneme; the phoneme is an abstract categorization of phones. Phonetics deals with two aspects of human speech: production—the ways humans make sounds—and perception—the way speech is understood. The communicative moda ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Discrete Mathematics
Discrete mathematics is the study of mathematical structures that can be considered "discrete" (in a way analogous to discrete variables, having a bijection with the set of natural numbers) rather than "continuous" (analogously to continuous functions). Objects studied in discrete mathematics include integers, graphs, and statements in logic. By contrast, discrete mathematics excludes topics in "continuous mathematics" such as real numbers, calculus or Euclidean geometry. Discrete objects can often be enumerated by integers; more formally, discrete mathematics has been characterized as the branch of mathematics dealing with countable sets (finite sets or sets with the same cardinality as the natural numbers). However, there is no exact definition of the term "discrete mathematics". The set of objects studied in discrete mathematics can be finite or infinite. The term finite mathematics is sometimes applied to parts of the field of discrete mathematics that deals with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
