Algorithmic language - Historia wersji

AndrzejSalwicki o 17:11, 28 lis 2014

2014-11-28T17:11:47Z

AndrzejSalwicki o 17:06, 10 kwi 2014

2014-04-10T17:06:35Z

AndrzejSalwicki: Utworzono nową stronę "Language of algorithmic logic or, briefly, algorithmic language is an extension of the language of first-order logic. As usual, in order to define an algirithmic langua..."

2014-04-10T17:05:06Z

Utworzono nową stronę "Language of algorithmic logic or, briefly, algorithmic language is an extension of the language of first-order logic. As usual, in order to define an algirithmic langua..."

Nowa strona

Language of algorithmic logic or, briefly, algorithmic language is an extension of the language of first-order logic.
As usual, in order to define an algirithmic language one has to define two sets:
* the alhabet <math>\mathcal{A}</math>, i.e. the set of atomic symbols,
* the set of well formed expressions, a subset of <math>\mathcal{A}*</math>.
In fact, we shall consider a family of algorithmic languages that share some common structure.
Any alphabet has these subsets:
* the set <math>V</math> of variables,
* the set <math>\Phi</math> of functors,
* the set of <math>P</math> predicates (i.e. of relational symbols),
* the set of <math>L</math> logical connectives
* the set of <math>S</math> program connectives
* the set of auxiliary symbols, such as parentheses, semicolon, etc.

[[Category:Algorithmic logic]]

← poprzednia wersja		Wersja z 17:11, 28 lis 2014
Linia 1:		Linia 1:
		+	<big>This page is under construction</big> <br />
		+
		+
	Language of algorithmic logic or, briefly, algorithmic language is an extension of the language of first-order logic.		Language of algorithmic logic or, briefly, algorithmic language is an extension of the language of first-order logic.
	As usual, in order to define an algirithmic language one has to define two sets:		As usual, in order to define an algirithmic language one has to define two sets:

← poprzednia wersja		Wersja z 17:06, 10 kwi 2014
Linia 12:		Linia 12:
	* the set of auxiliary symbols, such as parentheses, semicolon, etc.		* the set of auxiliary symbols, such as parentheses, semicolon, etc.

−	[[Category:Algorithmic ~~logic~~]]	+	[[Category:Algorithmic Logic]]