|
Plankalkül
Plankalkül () is a programming language designed for engineering purposes by Konrad Zuse between 1942 and 1945. It was the first high-level programming language to be designed for a computer. ''Kalkül'' is the German term for a formal system—as in ''Hilbert-Kalkül'', the original name for the Hilbert-style deduction system—so ''Plankalkül'' refers to a formal system for planning. History of programming In the domain of creating computing machines, Zuse was self-taught, and developed them without knowledge about other mechanical computing machines that existed already -- although later on (building the Z3) being inspired by Hilbert's and Ackermann's book on elementary mathematical logic (cf. Principles of Mathematical Logic). To describe logical circuits, Zuse invented his own diagram and notation system, which he called "combinatorics of conditionals" (german: Bedingungskombinatorik). After finishing the Z1 in 1938, Zuse discovered that the calculus he had independen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Konrad Zuse
Konrad Ernst Otto Zuse (; 22 June 1910 – 18 December 1995) was a German civil engineer, pioneering computer scientist, inventor and businessman. His greatest achievement was the world's first programmable computer; the functional program-controlled Turing-complete Z3 became operational in May 1941. Thanks to this machine and its predecessors, Zuse has often been regarded as the inventor of the modern computer. Zuse was noted for the S2 computing machine, considered the first process control computer. In 1941, he founded one of the earliest computer businesses, producing the Z4, which became the world's first commercial computer. From 1943 to 1945 he designed Plankalkül, the first high-level programming language. In 1969, Zuse suggested the concept of a computation-based universe in his book (''Calculating Space''). Much of his early work was financed by his family and commerce, but after 1939 he was given resources by the government of Nazi Germany. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Superplan
Superplan was a high-level programming language developed between 1949 and 1951 by Heinz Rutishauser, the name being a reference to "Rechenplan" (i.e. computation plan), in Konrad Zuse's terminology designating a single Plankalkül program. The language was described in Rutishauser's 1951 publication ''Über automatische Rechenplanfertigung bei programmgesteuerten Rechenmaschinen'' (i.e. ''Automatically created Computation Plans for Program-Controlled Computing Machines''). Superplan introduced the keyword (Germany) as for loop, which had the following form (a_i being an array item): Für i=''base''(''increment'')''limit'': a_i + ''addend'' = a_i See also * Compiler References Further reading * * {{cite book , title=Keller, Stack und automatisches Gedächtnis – eine Struktur mit Potenzial , language=de , trans-title=Cellar, stack and automatic memory - a structure with potential , editor-first1=Michael , editor-last1=Fothe , editor-first2=Thomas , editor-last2=W ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Programming Language
A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming language is usually split into the two components of syntax (form) and semantics (meaning), which are usually defined by a formal language. Some languages are defined by a specification document (for example, the C programming language is specified by an ISO Standard) while other languages (such as Perl) have a dominant implementation that is treated as a reference. Some languages have both, with the basic language defined by a standard and extensions taken from the dominant implementation being common. Programming language theory is the subfield of computer science that studies the design, implementation, analysis, characterization, and classification of programming languages. Definitions There are many considerations when defini ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
High-level Programming Language
In computer science, a high-level programming language is a programming language with strong Abstraction (computer science), abstraction from the details of the computer. In contrast to low-level programming languages, it may use natural language ''elements'', be easier to use, or may automate (or even hide entirely) significant areas of computing systems (e.g. memory management), making the process of developing a program simpler and more understandable than when using a lower-level language. The amount of abstraction provided defines how "high-level" a programming language is. In the 1960s, a high-level programming language using a compiler was commonly called an ''autocode''. Examples of autocodes are COBOL and Fortran. The first high-level programming language designed for computers was Plankalkül, created by Konrad Zuse. However, it was not implemented in his time, and his original contributions were largely isolated from other developments due to World War II, aside from th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Z1 (computer)
The Z1 was a motor-driven mechanical computer designed by Konrad Zuse from 1936 to 1937, which he built in his parents' home from 1936 to 1938. It was a binary electrically driven mechanical calculator with limited programmability, reading instructions from punched celluloid film. The “Z1” was the first freely programmable computer in the world which used Boolean logic and binary floating-point numbers, however it was unreliable in operation. It was completed in 1938 and financed completely from private funds. This computer was destroyed in the bombardment of Berlin in December 1943, during World War II, together with all construction plans. The Z1 was the first in a series of computers that Zuse designed. Its original name was "V1" for VersuchsModell 1 (meaning Experimental Model 1). After WW2, it was renamed "Z1" to differentiate from the flying bombs designed by Robert Lusser. The Z2 and Z3 were follow-ups based on many of the same ideas as the Z1. Design The Z1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Heinz Rutishauser
Heinz Rutishauser (30 January 1918 – 10 November 1970) was a Swiss mathematician and a pioneer of modern numerical mathematics and computer science. Life Rutishauser's father died when he was 13 years old and his mother died three years later, so together with his younger brother and sister he went to live in their uncle's home. From 1936, Rutishauser studied mathematics at the ETH Zürich where he graduated in 1942. From 1942 to 1945, he was assistant of Walter Saxer at the ETH, and from 1945 to 1948, a mathematics teacher in Glarisegg and Trogen. In 1948, he received his Doctor of Philosophy (PhD) from ETH with a well-received thesis on complex analysis. From 1948 to 1949, Rutishauser was in the United States at the Universities of Harvard and Princeton to study the state of the art in computing. From 1949 to 1955, he was a research associate at the Institute for Applied Mathematics at ETH Zürich recently founded by Eduard Stiefel, where he worked together with Ambros S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ALGOL 58
ALGOL 58, originally named IAL, is one of the family of ALGOL computer programming languages. It was an early compromise design soon superseded by ALGOL 60. According to John Backus The Zurich ACM-GAMM Conference had two principal motives in proposing the IAL: (a) To provide a means of communicating numerical methods and other procedures between people, and (b) To provide a means of realizing a stated process on a variety of machines... ALGOL 58 introduced the fundamental notion of the compound statement, but it was restricted to control flow only, and it was not tied to identifier scope in the way that Algol 60's blocks were. Name Bauer attributes the name to Hermann Bottenbruch, who coined the term ''algorithmic language'' (algorithmische Sprache) in 1957, "at least in Germany". History There were proposals for a universal language by the Association for Computing Machinery (ACM) and also by the German Gesellschaft für Angewandte Mathematik und Mechanik ("Society of Appli ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Chess
Computer chess includes both hardware (dedicated computers) and software capable of playing chess. Computer chess provides opportunities for players to practice even in the absence of human opponents, and also provides opportunities for analysis, entertainment and training. Computer chess applications that play at the level of a chess master or higher are available on hardware from supercomputers to smart phones. Standalone chess-playing machines are also available. Stockfish, GNU Chess, Fruit, and other free open source applications are available for various platforms. Computer chess applications, whether implemented in hardware or software, utilize different strategies than humans to choose their moves: they use heuristic methods to build, search and evaluate trees representing sequences of moves from the current position and attempt to execute the best such sequence during play. Such trees are typically quite large, thousands to millions of nodes. The computational speed ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Procedural Programming
Procedural programming is a programming paradigm, derived from imperative programming, based on the concept of the ''procedure call''. Procedures (a type of routine or subroutine) simply contain a series of computational steps to be carried out. Any given procedure might be called at any point during a program's execution, including by other procedures or itself. The first major procedural programming languages appeared circa 1957–1964, including Fortran, ALGOL, COBOL, PL/I and BASIC. Pascal and C were published circa 1970–1972. Computer processors provide hardware support for procedural programming through a stack register and instructions for calling procedures and returning from them. Hardware support for other types of programming is possible, but no attempt was commercially successful (for example Lisp machines or Java processors). Procedures and modularity Modularity is generally desirable, especially in large, complicated programs. Inputs are usua ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Calculus
A formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system. A formal system is essentially an "axiomatic system". In 1921, David Hilbert proposed to use such a system as the foundation for the knowledge in mathematics. A formal system may represent a well-defined system of abstract thought. The term ''formalism'' is sometimes a rough synonym for ''formal system'', but it also refers to a given style of notation, for example, Paul Dirac's bra–ket notation. Background Each formal system is described by primitive symbols (which collectively form an alphabet) to finitely construct a formal language from a set of axioms through inferential rules of formation. The system thus consists of valid formulas built up through finite combinations of the primitive symbols—combinations that are formed from the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Heinrich Scholz
Heinrich Scholz (; 17 December 1884 – 30 December 1956) was a German logician, philosopher, and Protestant theologian. He was a peer of Alan Turing who mentioned Scholz when writing with regard to the reception of "On Computable Numbers, with an Application to the Entscheidungsproblem":Alan Turing: "On Computable Numbers, with an Application to the Entscheidungsproblem." In: ''Proceedings of the London Mathematical Society'', 2nd series, vol. 42 (1937), pp. 230–265. "I have had two letters asking for reprints, one from Braithwaite at King's and one from a professor icin Germany... They seemed very much interested in the paper. ..I was disappointed by its reception here." Scholz had an extraordinary career (he was considered an outstanding scientist of national importance) but was not considered a brilliant logician, for example on the same level as Gottlob Frege or Rudolf Carnap. He provided a suitable academic environment for his students to thrive. He founded the Instit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Z4 (computer)
The Z4 was arguably the world's first commercial digital computer. It was designed, and manufactured by early computer scientist Konrad Zuse's company ''Zuse Apparatebau'', for an order placed by Henschel & Son, in 1942; though only partially assembled in Berlin, then completed in Göttingen, and not delivered by the defeat of Nazi Germany, in 1945. The Z4 was Zuse's final target for the Z3 design. Like the earlier Z2, it comprised a combination of mechanical memory and electromechanical logic, so was not a true electronic computer. Construction The Z4 was very similar to the Z3 in its design but was significantly enhanced in a number of respects. The memory consisted of 32-bit rather than 22-bit floating point words. The Program Construction Unit (''Planfertigungsteil'') punched the program tapes, making programming and correcting programs for the machine much easier by the use of symbolic operations and memory cells. Numbers were entered and output as decimal floating-poin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
