lecke №5
Közvetlenül kapcsolódnak a programozás egy fegyelem matematikai logika. Az alapot a matematikai logika matematikai logika vagy ítéletlogika. Az állítás bármely olyan állítás, amely tekintetében azt lehet mondani, az biztos, hogy ez igaz, vagy hamis. Például a „Luna - Earth műholdas” - igaz, "5> 3" - igaz, „Budapest - Kína fővárosa” - hamis; "1 = 0" - hamis. Igaz vagy hamis logikai értéket. Propozicionális logika értékek egyedileg azonosítani felett; Más szóval, az értékek logikai állandók.
Logikai érték egyenlőtlenség X <0, где х — переменная, является переменной величиной. В зависимости от значения х оно может быть либо истиной, либо ложью. В связи с этим возникает понятие логической переменной.
Ennek alapján a formális matematikai logika létre a közepén a XIX. Angol matematikus Dzhordzh Bul. Az ő tiszteletére, a ítéletlogika nevezzük logikai algebra és logikai értékek - logikai.
Egyetlen kifejezés lehet kombinálni, általános képletű vegyületet logikai használó logikai műveleteket.
Három alapvető logikai művelet: tagadás, összefüggésben (logikai szorzás) és a diszjunkció (logikai összeadás).
tagadása műveletet jelöli a matematikai logika szimbólum ¬, és nem olvasni, mint egy részecske. Ez az egyetlen művelet.
Például, ¬ (x = y) a leolvasáshoz „nem (x egyenlő y)». Az eredmény az lesz igaz, ha x nem egyenlő y, és hamis, ha x y. Tagadás értékét megváltoztatja a logikai értéket az ellenkezője.
Működés jelzi összefüggésben és ez olvasni, mint egy részecske és. Ez a kettős működését. Például, (x> 0) (x <1) читается «х больше 0 и х меньше 1». Данная логическая формула примет значение истина, если х
(0,1), és abban rejlik, - az ellenkező esetben. Következésképpen, az eredmény egy kötőszó - igaz, ha mindkét operandusa igaz. Diszjunkciót jele v művelet szól, mint egy részecske vagy. Például, (x = 0) v (x = 1) olvasható, mint "x jelentése 0, vagy x 1". A képlet az igazság, ha x - egy bináris számjegyet (0 vagy 1). Következésképpen a szétválasztás eredményez igaz, ha legalább az egyik operandus - az igazság.
A Pascal logikai értékeket jelöli hamis hivatalos szavak (hamis) és true (igaz), és a logikai típus azonosítót - logikai.
További mennyiséget (állandók és a változók) Boolean logikai hamis, igazi kapcsolat fogadására műveleteket.
A relációs műveletek (ábra. 18) végezzük összehasonlítjuk két operandust és meghatározzuk igaz vagy hamis megfelelő kapcsolat közöttük.
Példák a felvételi viszonyok: x<у; a+b>= C / d; abs (m-n)<=l. Примеры вычисления значений отношений:
A logikai műveleteket az operandusok Boole-típusú. Négy logikai művelet: nem - tagadás És - logikai szorzás (együtt); Vagy - logikai összeadás (diszjunkció). Amellett, hogy a három kötelező műveletek Turbo Pascal több művelet - XOR. Az ő jele - XOR függvény szót. Ez a kettős működés, ami értéket igaz, ha mindkét operandusa különböző logikai értékek.
Tranzakciók felsorolt csökkenő fontossági sorrendben. Az eredmények a logikai műveletek különböző értékek operandusok táblázat mutatja. 3.5.
kapcsolatok műveletek prioritása a legalacsonyabb. Ezért, ha az operandusok logikai művelet a kapcsolat, akkor fel kell őket zárójelbe téve. Például, a matematikai egyenlőtlenség 1 ≤ x ≤ 50 megfelel az alábbi logikai kifejezés:
A logikai kifejezés egy logikai formula, írt egy programozási nyelv. Logikai kifejezés áll logikai operandusok kapcsolódó logikai műveletek és a zárójel. Az eredmény kiszámítása logikai kifejezés egy logikai érték (hamis vagy igaz). Logikai operandusok logikai állandók, változók, feladatait, működését, kapcsolatok. Külön logikai operandust a legegyszerűbb formája egy logikai kifejezés.
Példák a logikai kifejezések (itt, d, b, c - logikai változók, x, y - reálváltozók k - egész változó):
Ha d = true; b = false; c = true; x = 3,0; y = 0,5; k = 5, akkor az eredmények a számítás a következők:
A példában használt logikai függvény páratlan (k). Ez a funkció az egész érv k, amelynek az értéke igaz, ha k értéke páratlan, és hamis, ha k páros.
A logikai értékadás szerkezete ábrán látható. 19.
Példák logikai hozzárendelés nyilatkozatai:
2) b: = (x> y) és (k<>0);
3) c: = d vagy a b, és nem (páratlan (k) és a d).
elágazás programozás Pascal
A fő témák Ebben a részben:
♦ elágazás szereplő Pascal;
♦ programozási teljes és nem teljes elágazás;
♦ Programozás beágyazott ág;
♦ logikai műveleteket;
♦ összetett logikai kifejezések.
elágazás szereplő Pascal
A Pascal van elágazási utasítást. Tovább az ő neve - egy feltételes utasítás, teljes elágazás nyilatkozat formátuma a következő:
ha <логическое выражение> majd <оператор1>
Itt, ha - «ha», akkor - «a», más - «más».
Programozása teljes és nem teljes elágazás
Hasonlítsa össze a rekord BID1 algoritmust az előző részben a megfelelő programot.
Nagyon hasonlít a fordítás magyarról angolra. Vegye figyelembe az alábbi eltérésekkel: a program nem különleges hivatalos szó végére az ág. Itt a jel a végén az elágazási utasítás egy pontosvessző. (Természetesen hagyott üres sor a programban nincs szükség. Ez történik csak az egyértelműség kedvéért.)
Egy egyszerű forma logikai kifejezés egy relációs operátor. Mint AH, Pascal nyitott minden típusú kapcsolatok (lent jelzi azok jelek):
<(меньше);>= (Azonos vagy annál nagyobb);
> (Nagyobb mint); = (Egyenlő);
<= (меньше или равно); <> (Nem egyenlő).
Most zaprogrammiruem Pascal BID2 algoritmus, ahol az alkalmazott hiányos elágazást.
Ismét minden nagyon hasonló. Else ág elágazási nyilatkozat elhagyható.
Programozás beágyazott ág
Írunk a Pascal meghatározó programot a nagyobb a három szám, blokk diagram ábrán látható. 6.6. A szerkezet a algoritmus - beágyazott ága. Algoritmus AH (Bit2) van az előző bekezdésben.
Vegye figyelembe, hogy mielőtt más pontosvessző nincs bekötve. Minden elágazó szerkezetben része az algoritmus végződik egy pont után a vessző operátor D: = C
Írj egy programot, hogy racionalizálja a két változó értékét.
Ez a példa a következő szabály Pascal: ha némely ágak az ága üzemeltető több, egymást követő üzemeltetői, azokat úgy kell rögzíteni a hivatalos szavak kezdetét és végét. A design a típus:
kezdődik <последовательность операторов> vég
Ez az úgynevezett összetett kifejezés. Következésképpen, az általános formája a fent leírt elágazás <оператор1> és <оператор2> lehet egyszerű (egy) és a kompozit szereplők.
Végül még egy alkotják a harmadik változat a program meghatározásának nagyobb számú három.
Nem nehéz megérteni, mit jelent a programot. három egymást követő teljes elágazás itt használt. A elágazási feltételeket komplex logikai kifejezés magában logikai működtetésére és (ii). A logikai műveletek találkozott, dolgozó adatbázisok és táblázatok.
Emlékezzünk vissza, hogy a művelet a logikai szorzás vagy együtt. Ennek eredménye - az „igazi”, ha az érték mindkét operandus - az „igazság”. Nyilvánvaló, hogy ha A> B és A> C, A a legnagyobb értéket, és így mind a három nagy logikai műveleteket jelen Pascal ..:
és - ÉS (kötőszó)
vagy - OR (diszjunkciót)
Nem - NOT (tagadás).
Komplex logikai kifejezések
Megjegyezzük, hogy a kapcsolat összeköti a logikai műveleteket, zárójelbe téve. Tehát mindig meg kell csinálni! Például, ez szükséges annak meghatározására, hogy bármely számot, B, és C legalább egy negatív. Ezt a problémát oldja meg a következő nyilatkozatot elágazások:
if (A<0) or (B<0) or (C<0)
majd írjuk ( 'IGEN') else write ( 'NO');
Expression igaz a negatív számok írhatók is, mint:
A legfontosabb jellemzői
ág operátor (feltételes utasítás) Pascal így néz ki:
ha <логическое выражение>
majd <оператор1> más <оператор2>
egyszerű vagy összetett utasításokat lehet az ágak egy feltételes állítás. Vegyület nyilatkozata - sorozata nyilatkozatok által körülzárt kisegítő szavak kezdetét és végét.
Az összetett logikai kifejezések logikai műveletek: és, vagy, nem.
Kérdések és feladatok
1. Miként programozva Pascal teljes és nem teljes elágazás?
2. Mi az összetett kifejezést? Bizonyos esetekben egy összetett kifejezést használják az elágazási nyilatkozat?
3. Van-e az a számítógépen lévő programok, amelyek ebben a szakaszban felsorolt.
4. Végezze el legalább három változatban a program meghatározza a legkisebb a három megadott számokat.
5. Legyen válogató programot emelkedő értékek három változó: A, B, C.
6. Készítsünk programot, hogy kiszámolja a gyökerei a másodfokú egyenlet szerint értékekkel együtthatók.