Formalizálása - ez

formalizáltsága (a latin forma -. megjelenés, kép)

A gondolatok kifejezésének természetes nyelven is tekinthető első lépés F. stratégia további elmélyítése érjük bevezetése köznapi nyelven mindenféle speciális karakterek, és létre egy részben szintetikus és mesterséges nyelvek.

Logikai F. célja, hogy meghatározza és rögzíti a logikai következtetések formája és bizonyítékokat. Teljes F. elmélet szerint, amikor teljesen megzavart a lényegi jelentését az alapvető fogalmak és kifejezések és kilistázza az összes következtetési szabályok használható fel bizonyítékként. F. Ez tartalmaz három elemből áll: 1) azonosítása forrás, meghatározatlan kifejezések; 2) Átadás az elfogadott igazolása nélkül képletek (axiómák); 3) beadjuk az adatok átalakítása képletek szabályok megszerzésének egy új képletek (tételek).

A hivatalos elmélet bizonyítéka nem igényel hivatkozás tartalmát a fogalmak és azok jelentését. A bizonyítás egy szekvenciát a képletekben, amelyek mindegyike vagy egy axióma vagy nyerik a kimenet a szabályok axiómák. Ellenőrzés az ilyen bizonyítékok (de nem talál meg) válik tisztán mechanikus eljárást lehet vinni egy számítógépre.

FA lényeges szerepet játszik a finomítás tudományos fogalmak. Sok problémát nem lehet megoldani, nem csak, de még megfogalmazott

Rowan amíg azok hivatalossá kapcsolódó érvelés. Ez a helyzet különösen a széles körben használt fogalom az algoritmus és a kérdés, hogy vannak-algoritmikusan megoldhatatlan problémák.

Lásd, amit a „formalizációs” más szótárak:

Formalizálása - (lat forma képhez.) Kijelző tárgyak Egyes domain szimbólummal k l .. nyelvet. A legegyszerűbb formájában a közvetlen képviselet F. (megjelölés, elnevezése, leírás) tárgyak segítségével kifejezéseket. Pl. szerepet a természetes nyelv ... ... Filozófiai Enciklopédia

formalizációs - officialization szótára orosz szinonimái. az alkalmasság főnév. száma szinonimák: 1 • officialization (3) szótár ASIS szinonimái. ... A szótár az szinonimák

Formalizálása - leírása a fő tartalmát a vizsgált jelenségek (folyamat) felhasználásával az ún .. formális (hivatalos) nyelv (szimbólumok és szabályok írásban). A katonai elmélet és a gyakorlat formalizálásnak alkalmazott matematikai modellezés, ... ... Tengeri szótár

Formalizálása - bemutatása és tanulmányozása, illetve anyagi területeken a tudás (a tudományos elméletek, érvek, vizsgálati módszerekkel, stb ...) A forma formális rendszer vagy fogkő; kapcsolódó szerepének erősítését a formális logika és a matematikai módszer tudományos ... ... kollégiumi szótár

Formalizálása - egy kifejezési módja a tartalom a tudást át oprelennuyu alkotnak egy mesterséges nyelv jelei. A legfontosabb faj F. F. logikai kifejezést, amely azt jelzi, hogy a mentális tartalmak révén a logikai formákat. Ez ... ... Legújabb Filozófiai szótár

Formalizálása - hivatalossá zuyu, zuesh; ovanny; baglyok. és Nesov. (Könyv).. Present (vlyat) tartalom mellékhatások formájában formális rendszer vagy fogkő. A hivatalos nyelv (a nyelvi rendszer a specializált alapok vagy a karakterek a pontos ... ... értelmező szótár Ozhegova

Formalizálása - (. Formális a latin forma preferencia) angol. formalizációs; HevbFormalisierung. 1. Bevezetés jelentős mellékhatás formájában formális rendszer vagy fogkő. 2. A tudományos elmélet az építőiparban a logikai struktúra, egy raj minden ... ... Encyclopedia of Sociology

formalizációs - Formalizálása meghatározott kognitív műveletek, amely a figyelemelterelés értékek és fogalmak jelentésének egy tudományos elmélet, hogy vizsgálja meg a logikai funkciók, deduktív és kifejező lehetőségeit. A matematika és a ... ... Encyclopedia ismeretelmélet és tudományfilozófia

formalizációs - majd. formalizációs f. Képviselet formájában formális rendszer ... Szótörténeti az orosz nyelv Gallicisms

Formalizálása - [formaliza-CIÓ] Leírás elméletek értelmes mondat, stb formális eszközökkel, mindenekelőtt a szimbólumok és a matematikai logika (de vannak esetek, oly módon, hogy a karakterek hétköznapi szavak, de tökéletesen ... ... Közgazdaságtan és matematika szótár