Çàî÷íîå äèñòàíöèîííîå îáðàçîâàíèå ñ ïîëó÷åíèåì ãîñóäàðñòâåííîãî äèïëîìà ÷åðåç Internet










Ïîëó÷èòü èíôîðìàöèþ î ïîñòóïëåíèè
 
Ãëàâíàÿ Íîâîñòè Êàðòà ñàéòà Ôîòîàëüáîì Ãîñòåâàÿ êíèãà Êîíòàêòû

Äèàëîã ñ ïðîãðàììàìè íà Ïðîëîãå
Áàçîâûå ïîíÿòèÿ ÿçûêà Ïðîëîã
Îïèñàíèÿ ôàêòîâ
Ïðàâèëà çàïèñè âîïðîñîâ
Çàïèñü ïðàâèë è ïðîöåäóð
Ýëåìåíòû ÿçûêà Ïðîëîã
Âñòðîåííûå ïðåäèêàòû Ïðîëîãà

 

Îïèñàíèÿ ôàêòîâ

Ôàêòû â {SITELINK-S510}ÿçûêå Ïðîëîã {/SITELINK}îïèñûâàþòñÿ â ñëåäóþùåé ôîðìå:

ôàêò:

<èìÿ>(<àðã>[,<àðã> ...]);

Îïèñàíèå ôàêòà íà÷èíàåòñÿ ñ èìåíè.  ðîëè èìåí ìîãóò èñïîëü­çîâàòüñÿ ëþáûå ïîñëåäîâàòåëüíîñòè áóêâ è öèôð, íà÷èíàþùèåñÿ ñ áóêâû;

èìÿ:

<áóêâà>[<áóêâà><öèôðà> ...]

Áóêâû ìîãóò áûòü âûáðàíû èç ðóññêîãî è ëàòèíñêîãî àëôàâèòîâ.

Ïîñëå èìåíè â îïèñàíèÿõ ôàêòîâ çàäàåòñÿ ñïèñîê àðãóìåíòîâ, çàêëþ÷àåìûõ â êðóãëûå ñêîáêè.  êîíöå îïèñàíèÿ êàæäîãî èç ôàê­òîâ ñòàâèòñÿ òî÷êà ñ çàïÿòîé.

 ðîëè àðãóìåíòîâ ìîãóò áûòü óêàçàíû ëþáûå ñëîâà, ñëîâîñî÷å­òàíèÿ è ÷èñëà. Ñëîâîñî÷åòàíèå - ýòî ëþáàÿ ïîñëåäîâàòåëüíîñòü ñëîâ, ñîåäèíåííûõ çíàêîì ïîä÷åðêèâàíèÿ.

Ñëîâîñî÷åòàíèå:

<ñëîâî>[<ñëîâî> ...]

Ñëîâà, êàê è èìåíà, - ýòî ëþáûå ïîñëåäîâàòåëüíîñòè èç áóêâ è öèôð, íà÷èíàþùèåñÿ ñ áóêâ:

ñëîâî:

<áóêâà>[<áóêâà><öèôðà> ...]

×èñëà â äàííîé {SITELINK-S511}ðåàëèçàöèè Ïðîëîãà {/SITELINK}- ýòî òîëüêî öåëûå ÷èñëà (îòðèöàòåëüíûå - ñî çíàêîì ìèíóñ):

÷èñëî:

[—]<öèôðà>[<öèôðà> ...]

Ïðèìåðû çàïèñè ÷èñåë - 0, 1, +3, -25.

Ñåìàíòèêà: êàæäûé ôàêò â Ïðîëîãå èíòåðïðåòèðóåòñÿ êàê íåêîòîðîå èñòèííîå óòâåðæäåíèå. Îïèðàÿñü íà ýòè óòâåðæäåíèÿ, {SITELINK-S512}èíòåðïðåòàòîð Ïðîëîãà {/SITELINK}ðàññìàòðèâàåò ðàçëè÷íûå âîïðîñû êàê óòâåðæäåíèÿ, êîòîðûå äîëæíû áûòü äîêàçàíû èëè îïðîâåðãíóòû èñõîäÿ èç èìåþùèõñÿ ôàêòîâ è ïðàâèë.



 
     
   
 


Ïðèãëàøàåì ïðèíÿòü ó÷àñòèå â êðóãëîì ñòîëå!
ïîäðîáíåå   >>>
 

Èíñòèòóò Ìåíåäæìåíòà, Ýêîíîìèêè è Èííîâàöèé íà÷èíàåò íàáîð íà êóðñû ïîâûøåíèÿ êâàëèôèêàöèè!
ïîäðîáíåå   >>>
 

Óâàæåìûå ñòóäåíòû ÀÍÎ ÂÏÎ ÈÌÝèÈ!
ïîäðîáíåå   >>>
 

Íà÷èíàåòñÿ íàáîð íà êóðñû ïîâûøåíèÿ êâàëèôèêàöèè!
ïîäðîáíåå   >>>
 

Ïðèãëàøàåì ïðèíÿòü ó÷àñòèå â êîíôåðåíöèÿõ!
ïîäðîáíåå   >>>
 


âñå íîâîñòè...