- formal characterization
- мат. формализация, формальное определение
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia
Propositional representation — Articleissues unreferenced = March 2008 technical = March 2008 introrewrite = March 2008Propositional representation is symbolic description.Other AttributesPropositional representations are also:*Language like only in the sense that they… … Wikipedia
Web template system — A Web template system describes the software and methodologies used to produce web pages and for deployment on websites and delivery over the internet. Such systems process web templates, using a template engine. It is a web publishing tool… … Wikipedia
Frege, Gottlob — ▪ German mathematician and philosopher Introduction born November 8, 1848, Wismar, Mecklenburg Schwerin died July 26, 1925, Bad Kleinen, Germany German mathematician and logician (logic, history of), who founded modern mathematical logic (formal … Universalium
Vehicle size class — Vehicle size classes are a way of classifying cars. The common North American parlance is word based, while English speaking European writers also use words to describe car sizes. In parts of Asia, segment letters are sometimes used.North… … Wikipedia
Effective method — An effective method (also called an effective procedure) for a class of problems is a method for which each step in the method may be described as a mechanical operation and which, if followed rigorously, and as far as may be necessary, is bound… … Wikipedia
Algorithm characterizations — The word algorithm does not have a generally accepted definition. Researchers are actively working in formalizing this term. This article will present some of the characterizations of the notion of algorithm in more detail. This article is a… … Wikipedia
Aristotle’s logic and metaphysics — Alan Code PART 1: LOGICAL WORKS OVERVIEW OF ARISTOTLE’S LOGIC The Aristotelian logical works are referred to collectively using the Greek term ‘Organon’. This is a reflection of the idea that logic is a tool or instrument of, though not… … History of philosophy
Complex number — A complex number can be visually represented as a pair of numbers forming a vector on a diagram called an Argand diagram, representing the complex plane. Re is the real axis, Im is the imaginary axis, and i is the square root of –1. A complex… … Wikipedia
HEBREW LITERATURE, MODERN — definition and scope beginnings periodization … Encyclopedia of Judaism
French literature — Introduction the body of written works in the French language produced within the geographic and political boundaries of France. The French language was one of the five major Romance languages to develop from Vulgar Latin as a result of the … Universalium