Prohlášení (rozsudek) je narativní návrh, ve kterém je něco schváleno nebo odepřeno. Pokud jde o jakékoli prohlášení, je pravda, že je to pravda nebo nepravdivé.
Logické hodnoty: koncepty vyjádřené slovy: pravda (true), false (false).
Logická konstanta: Pravda (TRUE), FALSE (FALSE).
Logická proměnná: symbolicky označená logickou hodnotu. Proto, pokud je známo, že A, X, X, Y atd. - Logické hodnoty, pak to znamená, že mohou mít hodnoty pouze pravdu nebo lži.
Logický výraz: jednoduché nebo složité prohlášení. Komplexní výkazy jsou postaveny od jednoduchých logické operace (ligamenty).
Logické operace
Spojení (logické násobení). V ruštině, vyjádřený Unií I.
V matematické logice se používají značky a spojení - dvojitá operace, napsaná ve formuláři A ^ B (A, B - operandy). Hodnota takového výrazu bude falešná, pokud alespoň hodnota jednoho z operandů je nepravdivá.
Disjunkce (logický doplněk). V ruštině, vyjádřené Unií nebo.
V matematické logice se používají známky disjunkce - dvojitá operace je napsána ve formě AV. Hodnota takového výrazu bude pravda, pokud je pravdivá alespoň hodnota jednoho z operandů.
Negace. V ruštině je vyjádřena Unií ne (v některých prohlášeních se obrat použije - není to pravda, že ...).
V matematické logice se použijí příznaky negace - jediná (unary) operace je zaznamenána jako nebo nebo.
Logický vzorec (logický výraz) - vzorec obsahující pouze logické hodnoty a známky logických operací. Výsledek výpočtu logického vzorce je pravdivý nebo nepravdivý. V logických vzorcích je pravda často reprezentována jako 1, lži jako 0.
Pravidla pro provádění logických operací se odrážejí v tabulce pravdy.
Tanková pravda
Sekvence logických operací v logických vzorcích je určena senioritou operací. Nejvyšší provozní operace je odmítnutí (to je provedeno dříve než ostatní), pak existuje spojení (s) a pak disjunkci (nebo).
Logika
V pohodlném způsobu reprezentace logických výrazů jsou logická schémata. To je, jak jsou na těchto schémat zobrazeny tři hlavní logické operace.
V této tabulce se používá následující notace:
1 - Pravda, 0 - lež, a nebo ne - logické operace.
Příklad1: Nakreslete diagram pro logický výraz 1 nebo 0 a 1. Poté spočítejte hodnotu logického výrazu.
Řešení: Schéma - výpočet:
Příklad 2: Logické schéma Dana. Vybudovat logický výraz. Poté spočítejte hodnotu logického výrazu.
Řešení: Schéma DANA -
Vytvořit vzorec - (1 nebo 0) a 1. Vypočítejte hodnotu podle schématu 1 nebo 0 \u003d 1,
pak 1 a 1 \u003d 1. tak (1 nebo 0) a 1 \u003d 1.
Logické informace a logické základy
Přímý vztah k programování má disciplínu s názvem Matematická logika. Základem matematické logiky je logická algebra nebo výpočet výkazů. Pod tvrzením znamená jakékoli prohlášení, o které lze jednoznačně říkat, je to skutečně nebo nepravdivé. Například "měsíc - satelit země" - true; "5\u003e 3" - skutečně; "Moskva - hlavní město Číny" - falešně; "1 \u003d 0" - false. Pravda nebo lži jsou logické hodnoty. Logické hodnoty výše uvedených tvrzení jsou jednoznačně definovány; Jinými slovy, jejich hodnoty jsou logické konstanty.
Logický význam nerovnosti X< 0, где х - переменная, является переменной величиной. В зависимости от значения х оно может быть либо истиной, либо ложью. В связи с этим возникает понятие логической переменной.
Základy formálního přístroje matematické logiky vytvořené uprostřed XIX století. Anglická matematika George Bul. V jeho čestu se počet prohlášení nazývá Boolean Algebra a logické hodnoty jsou Boolean.
Jednotná prohlášení lze kombinovat do logických logických vzorců pomocí logických operací.
Existují tři hlavní logické operace: Denial, Spojení (logické násobení) a disjunkce (logický doplněk).
Provoz negace je indikována v matematické logice ¬ a číst jako částice ne. Jedná se o jednu operaci.
Například ¬ (x \u003d y) je čten "ne (x rovný y)". V důsledku toho pravda je, pokud X není rovna, a lži, pokud x je roven. Denial mění hodnotu logické hodnoty na opak.
Provoz spojení je indikován a číst jako částic a. Jedná se o dvojitou operaci. Například (x\u003e 0) & (x< 1) читается «х больше 0 и х меньше 1». Данная логическая формула примет значение истина, если х
(0,1) a falešné - jinak. V důsledku toho je výsledkem spojení pravdy, pokud jsou obě operandy pravdivé. Znaménko provozu disjunkce V se přečte jako částice nebo. Například (x \u003d 0) v (x \u003d 1) číst "x rovný 0 nebo x rovný 1". Vzorec dává pravdu, pokud X je binární číslice (0 nebo 1). V důsledku toho je disjunkce vede k pravdě, pokud je alespoň jeden operand pravdu.
V Pascalu jsou logické hodnoty označeny slovy služby FALSE (FALSE) a pravdivá (pravda) a identifikátor logického typu je boolean.
Kromě hodnot (konstanty a proměnné) typu Boolean, logické hodnoty FALSE, TRUE vezmou výsledky operací vztahu.
Operace vztahů (obr. 18) porovnávají dva operandy a určit, skutečně nebo falešně, odpovídající vztah mezi nimi.
Příklady záznamů: X<у; a+b>\u003d C / d; ABS (M-N)<=l. Примеры вычисления значений отношений:
Logické operace se provádějí nad operandem typu BULEV. Existují čtyři logické operace: ne - popírání; A - logické násobení (spojení); Nebo - logický doplněk (disjunction). Kromě těchto tří povinných operací v Turbo Pascal je stále provoz - kromě nebo. Její znamení - Servisní slovo Hor. Jedná se o dvojitou operaci, která v důsledku toho dává hodnotu pravdy, pokud obě operandy mají různé logické hodnoty.
Operace jsou uvedeny v sestupném pořadí priorit. Výsledky logických operací pro různé hodnoty operandů jsou uvedeny v tabulce. 3.5.
Tabulka 3.5.
Provozní operace mají nejnižší prioritu. Proto, pokud jsou operandy logické operace vztahy, měly by být uzavřeny v závorkách. Například matematická nerovnost 1 ≤ x ≤ 50 odpovídá následujícímu logickému výrazu:
(1<=X) And (X<=50)
Logický výraz je logický vzorec napsaný v programovacím jazyce. Logický výraz se skládá z logických operandů spojených s logickými operacemi a kulatými závorkami. Výsledkem výpočtu logického výrazu je booleovská hodnota (false nebo true). Logické operandy mohou být logické konstanty, proměnné, funkce, operace vztahů. Jeden samostatný logický operand je nejjednodušší formou logického výrazu.
Příklady logických výrazů (zde D, B, C - logické proměnné; X, Y - Skutečné proměnné; K - celá proměnná):
Pokud d \u003d true; B \u003d false; C \u003d true; X \u003d 3.0; Y \u003d 0,5; K \u003d 5, výsledky výpočtu budou následující:
Příklad použil lichou (k) logickou funkci. To je funkce z celého argumentu k, který platí, pokud je hodnota k lichá a nepravdaná, pokud k je dokonce.
Operátor logického přiřazení má strukturu znázorněnou na Obr. devatenáct.
Příklady logických operátorů přiřazení:
2) b: \u003d (x\u003e y) a (k<>0);
3) C: \u003d d nebo b a ne (lichý (k) a d).
Programování větvení na Pascal
Hlavní témata odstavce:
♦ Operátor pobočky na Pascal;
♦ Programování plné a neúplné větve;
♦ Programování vnořených větví;
♦ logické operace;
♦ Komplexní logické výrazy.
Operátor pobočky na Pascal
V jazyce Pascal je pobočkový operátor. Jiný název je podmíněný provozovatel, formát výkazu plného pobočka je následující:
-li<логическое выражение> Pak.<оператор1>
jINÝ.<оператор2>
Zde pokud - "jestliže", pak - "To", jinde - "Ostatní".
Programování plné a neúplné větvení
Porovnejte záznam algoritmu BIID1 z předchozího odstavce s odpovídajícím programem.
Velmi podobný překladu z ruského jazyka do angličtiny. Věnujte pozornost následujícímu rozdílu: v programu neexistuje žádné zvláštní oficiální slovo, které označuje konec větvení. Zde je známkou konce operátora větve čárkou. (Samozřejmě, že v programu není nutné nechat prázdný řetězec v programu. Zde se provádí pouze pro jasnost.)
Jednoduchá forma logického výrazu je provozní operace. Stejně jako v AYA, všechny druhy vztahů jsou povoleny v Pascalu (jejich znaky jsou uvedeny níže):
< (меньше); >\u003d (více nebo stejné);
\u003e (více); \u003d (rovný);
<= (меньше или равно); <> (ne rovno).
A teď budeme naprogramovat algoritmus Bid2 v Pascalu, ve kterém se používá neúplné větvení.
Všechno je velmi podobné. Pobočka jiného v odvětvovém prohlášení může být nepřítomná.
Programování vnořených větví
Píšeme program pro stanovení větší ze tří čísel v Pascalu, blokové schématu, který je znázorněn na Obr. 6.6. Struktura tohoto algoritmu je vnořená větve. Algoritmus na AA (bit2) je uveden v předchozím odstavci.
Věnujte pozornost tomu, že před jiným bodem s čárkou není dána. Celá rozvětvená část struktury algoritmu končí v bodě čárkou po obsluhu D: \u003d C.
Budeme tvořit program pro zefektivnění hodnot dvou proměnných.
Tento příklad ilustruje následující pravidlo Pascal: Pokud existuje několik po sobě jdoucích operátorů na některých odvětvích operátora pobočky, musí být zaznamenány mezi slovy začátek a koncové služby. Design tohoto typu:
začít.<последовательность операторов> Konec.
nazývá kompozitní operátor. Proto ve všeobecné formě pobočky popsané výše<оператор1> a<оператор2> Může být jednoduchý (jeden) a kompozitní operátory.
Logické operace
Konečně budeme dělat další, třetí možnost programu pro určení většího počtu tří.
Není těžké pochopit význam tohoto programu. Zde jsou tři po sobě jdoucí neúplné větve. Podmínky rozvětvení jsou složité logické výrazy, které obsahují logickou operaci a (a). S logickými operacemi jste se setkali s databázemi a tabulkami.
Připomeňme, že operace a nazývá se logické násobení nebo spojení. Jeho výsledkem je "pravda", pokud hodnoty obou operandů jsou "pravdou". Je to samozřejmě, pokud je a\u003e v a\u003e S, pak je to nejdůležitější a tak dále. V Pascalu existují všechny tři hlavní logické operace:
a - a (spojení),
nebo - nebo (disjunction),
ne - ne (popírání).
Komplexní logické výrazy
Věnujte pozornost tomu, že vztah spojený s logickými operacemi je v závorkách. Takže musíte udělat vždy! Například je nutné určit, zda je mezi čísly A, B, s alespoň jedním negativním. Tento úkol je následujícím operátorem poboček:
pOKUD.<0) or (B<0) or (C<0)
Pak napsat ("ano") jinak psát ("ne");
Výraz, který platí pro záporné číslo, může být také napsán následovně:
Stručně o hlavní věci
Operátor poboček (podmíněný provozovatel) Pascal má formulář:
-li<логическое выражение>
Pak.<оператор1> JINÝ.<оператор2>
Na větvích podmíněných operátorů mohou být jednoduché nebo kompozitní operátory. Kompozitní operátor je sekvencí operátorů uzavřených mezi slovy začínající a koncové služby.
V obtížně logické výrazy Používají se logické operace: a nebo ne.
Otázky a úkoly
1. Jak je plný a neúplný program rozvětvení?
2. Co je to kompozitní operátor? V jakých případech je kompozitní operátor použitý v odvětví?
3. Proveďte všechny programy v tomto odstavci v počítači.
4. Doplňte alespoň tři varianty definičního programu nejmenší ze tří čísel.
5. Proveďte třídící program zvýšením hodnot ve třech proměnných: A, B, C.
6. Proveďte program pro výpočet kořenů čtvercové rovnice podle hodnot jeho koeficientů.
Prohlášení (rozsudek) - jedná se o vyprávění, ve které je něco schváleno nebo odepřeno. Pokud jde o jakékoli prohlášení, lze říci pravdivé nebo nepravdivé. Například:
"Ledově pevný stav vody" - skutečné prohlášení.
"Trojúhelník, to je geometrická obrázek" - skutečné prohlášení.
"Paříž - hlavní město Číny" je falešné prohlášení.
6 < 5 - ложное высказывание.
Logické veličiny:koncepty vyjádřené slovy: Pravda, FALSE (TRUE, FALSE). V důsledku toho je pravda prohlášení vyjádřena logickými hodnotami.
Logická konstanta:Pravda nebo nepravdivá.
Logická proměnná:symbolicky určená logická hodnota. Proto, pokud je to známo A, B, X, Y aave. - Proměnné logických veličin, pak to znamená, že mohou mít hodnoty pouze pravdu nebo nepravdivé.
Logický výraz- jednoduché nebo složité prohlášení. Komplexní prohlášení je založeno na jednoduchém používání logických operací (vazy).
Logické operace.V matematické logice je definováno pět hlavních logických operací: spojení, disjunkce, odmítnutí, implikace, ekvivalence. První tři z nich tvoří plný systém operací,v důsledku toho mohou být prostřednictvím nich vyjádřeny další operace (normalizované). Tyto tři operace se obvykle používají v informatice.
Spojení(logické násobení). V ruštině je vyjádřena Unií I. v matematické logice se používají značky & nebo. Spojení - dvojitá operace; Ve formuláři: ALE V.Hodnota takového výrazu bude nepravdivá, pokud je hodnota alespoň jedné z operandů false.
Disjunkce (logický doplněk). V ruštině, tato spojení odpovídá Unii nebo. V matematické logice je indikováno znakem v. Disjunkce - dvojitá operace; Ve formuláři: A.pROTI. V.Hodnota takového výrazu bude pravdivá, pokud je hodnota alespoň jedné z operandů pravdivá.
Negace.V ruštině, tento svazek odpovídá částici (v některých příkazech, obrat je aplikován "nesprávně ..."). Denial - Unary (Single) operace; Ve formuláři: Nebo.
Logický vzorec (logický výraz) - vzorec obsahující pouze logické hodnoty a známky logických operací. Výsledek výpočtu logického vzorce je pravdivý nebo nepravdivý.
Příklad 1. Zvažte složité prohlášení: "Číslo 6 je rozděleno do 2, a číslo 6 je rozděleno do 3". Představují toto prohlášení ve formě logického vzorce. Označte By ALEjednoduché prohlášení "číslo 6 je rozděleno do 2" a přes Vjednoduché prohlášení "číslo 6 je rozděleno do 3". Toon Příslušný logický vzorec má formulář: ALE& V.Je zřejmé, že jeho hodnota je pravda. Příklad 2. Zvažte složité prohlášení: "V létě půjdu do vesnice nebo turistické cesty."
Označte By ALEjednoduché říkat "V létě půjdu, půjdu obci" a přes V- Jednoduché říká "Léto půjdu na turistický výlet." Logická forma složitého příkazu má formulář
Příklad 3. Zvažte přísloví: "Není pravda, že 4 je rozděleno do 3".
Označte By ALEjednoduché prohlášení "4 je rozděleno do 3". Pak má logická forma odmítnutí tohoto prohlášení formulář ALE
Pravidla pro provádění logických operací se odrážejí v následující tabulce, která se nazývá tabulka pravdy.
Sledování operací v logických vzorcích je určena senioritou operací. V pořadí sestupně z seniority jsou logické operace umístěny následovně: denial, Spojení, disjunkce.Kromě toho postup pro provoz ovlivňuje závorky, které mohou být použity v logických vzorcích.
Aplikace matematické logiky v základním kurzu
Matematická logika v databázích. Při studiu základního kurzu informatiky jsou studenti poprvé nalezeni s prvky matematické logiky v tématu "Database" (databáze). V relační databázi jsou logické hodnoty logických polí. Logický typ se používá spolu s jinými typy polí a studenti se musí naučit přidělit.
První koncept logické hodnoty může být uveden jako odpověď na alternativní otázku. Například: "Má tato kniha v knihovně?" Nebo "vstoupil žadatel na univerzitu" nebo "prší na ulici?" atd. Odpovědi na tyto otázky mohou být pouze "ano" nebo "ne". Synonyma jsou "pravda", "lež"; "TRUE", "FALSE". Pokud pole tabulky obdrží takové hodnoty, pak je přiřazen logický typ.
Například relační databáze volitelných obsahuje informace o návštěvě studentů ze tří volitelných předmětů o geologii, pěstování květin a tanec. Na relačním jazyce je jeho struktura popsána následovně:
Volitelný (Student. Geologie, Flower Roste, Tanec) \\ t
Geologická pole, květinost a tanec budou mít logický typ. Hodnota pravdy pro každé pole ukazuje, že student tato možnost navštíví a nepravdivá - nehledá.
Logické výrazy se používají v databázových dotazech jako podmínky vyhledávání. Logické výrazy jsou rozděleny do jednoduchého a složitého. V jednoduchých výrazech se vždy používá pouze jedna tabulka pole a neplatí se logické operace. V komplexních logických výrazech se používají logické operace. Jednoduchý logický výraz představuje buď název pole logického typu nebo přístup(V matematice říkají "nerovnost"). Vztahy pro číselné hodnoty si zachovávají význam matematických nerovností; Při výpočtu vztahů pro symbolické hodnoty se zohlední lexikografický řád; Data jsou porovnána v pořadí jejich kalendářní sekvence.
Hlavním problémem je naučit studenty formální prezentaci vyhledávacích podmínek ve formě logických výrazů. Například z fráze "Najít všechny knihy, které jsou základem pátého polic", musí jít do logického výrazu: regiment\u003e 5; Nebo stav "vybrat všechny fyziky impozantní", aby přítomno ve formě: fyzika< 3; или «выбрать все дни, когда шел дождь» ОСАДКИ = «дождь».
Zvláštní pozornost by měla být věnována použití logických polí ve vyhledávacích podmínkách. Obvykle se na ně vztahují vztahy. Samotné logické pole je logická hodnota: "pravda" nebo "lež". Například podmínka "Vyberte si všechny studenty účastnící se tance budou přítomni v jednom názvu logického pole tance.
Komplexní logické výrazy obsahují logické operace. Jsou zváženy tři hlavní operace matematické logiky: spojení (s), disjunkce (nebo), odmítnutí (ne).
Obvykle je při vysvětlování této problematiky, učitel je odrazen z sémantického významu prohlášení v ruštině obsahujících alianci a nebo ne částici. Například prohlášení: "Dnes bude kontrola na algebře a fyzice" spravedlivě, pokud obě kontrola, tak falešně, pokud se neprovede alespoň jeden. Další prohlášení: "Dnes bude kontrola na algebře nebo fyzice" bude pravdivá, pokud bude konat alespoň jedna zkušební práce. A konečně, prohlášení: "Dnes nebude kontrola" true, pokud se kontrola nebude probíhat, tj. Pokud prohlášení, že dnes bude kontrola, ukazuje se nepravdivé. Z těchto příkladů učitel učiní závěry o pravidlech pro provádění logických operací:pokud A a B -logické hodnoty, pak výraz
A a B.true pouze v případě, že oba operandy jsou pravdivé;
ALEnebo VfALSE pouze v případě, že oba operandy jsou nepravdivé;
Ne ALEzmění hodnotu logické hodnoty na opak: není pravda - false; Ne falešný - pravda.
1. Logické hodnoty, operace, výrazy. Logické výrazy jako podmínky v rozvětvení a cyklických algoritmech.
Abychom pochopili práci větvení a cyklických algoritmů, zvažte koncept logického výrazu.
V některých případech by volba akcí v programu měla záviset na tom, jak se vztahují hodnoty některých proměnných.
Například výpočet kořenů čtvercové rovnice se provádí odlišně v závislosti na diskriminaci (pamatovat matematika).
V důsledku porovnání hodnot dvou výrazů jsou možné dvě odpovědi: srovnání skutečný nebo nepravdivé?
Například:
2 + 3\u003e 3 + 1 - Ano (skutečně)
0 < -5 - нет (ложно)
Výrazy tohoto druhu budeme zavolat logické výrazy.
Logický výraz, stejně jako matematický výraz, je proveden (vypočteno), ale výsledek není číslo, ale logická hodnota: pravda (true) nebo false (false). Logická hodnota- Je to vždy odpověď na otázku, platí pro toto prohlášení.
Známe šest srovnávacích operací:
S pomocí těchto operací sestavíme logické výrazy. A ve výrazech jsou pouze konstanty, ale také proměnné.
Jak se operace provádějí pro číselné hodnoty, jsou jasné z matematiky. Jak jsou symbolické hodnoty porovnávají? Poměr "Stejně" je pravdivé pro dva symbolické hodnoty, pokud jejich délky jsou stejné a všechny odpovídající znaky se shodují. Je třeba mít na paměti, že mezera je také symbolem.
Symmimální hodnoty mohou být porovnány ve vztazích\u003e<, >=, <=. Здесь упорядоченность слов (последовательности символов) определяется по алфавитному принципу.
"Cat" \u003d "kočka"
"kočka"< «лис»
"Cat"\u003e "dům"
Výraz sestávající z jedné logické hodnoty nebo jednoho vztahu se nazývá jednoduchý logický výraz.
Často jsou úkoly, které nejsou samostatné podmínky, ale kombinace souvisejících podmínek (vztahů). Například v obchodě musíte vybrat boty, jejichž velikost je R \u003d 45, barva barev \u003d Bílá, cena cen ne více než 400 rublů.
Dalším příkladem: školák zjistil, že by si mohl koupit čokoládovou jednotku, pokud to stojí 3 rublů. nebo 3 rublů. 50kop.
V prvním příkladu se zabýváme třemi vztahy spojenými s Unií "a" non- "částice, ve druhé - se dvěma vztahy spojenými s Unií" nebo ". Podobné podmínky pojďme sloučeninaa pro jejich označení v algoritmu souhlasíme s používáním aliancí " a", "nebo", "ne", Které zvážíme jako známky logických operací, které umožňují vytvářet kompozitní z jednoduchých podmínek, stejně jako z jednoduchých proměnných a konstant používajících +, - atd., A tak dále. Můžete vytvořit algebraické výrazy.
Takže podmínky našich příkladů v algoritmu mohou vypadat takto:
první: (R \u003d 45) a (Barva \u003d bílá) a (ne (Cena\u003e 400))
druhý: (cena \u003d 3) nebo (cena \u003d 3,5)
Výraz obsahující logické operace se nazývá komplexní logický výraz.
Kombinování dvou (nebo několika) výpisů v jednom s pomocí Unie "a" se nazývá operace logické násobení nebo spojení .
V důsledku logických násobení (spojení), pravda je získána, pokud jsou všechny logické výrazy pravdivé.
Kombinace dvou (nebo více) prohlášení s výkonem Unie "nebo" logický doplněk nebo disjunkce .
V důsledku logického přidávání (disjunkce) je pravda získána, pokud je alespoň jeden logický výraz pravdivý.
Připojení částic "Ne" k prohlášení se nazývá Provoz logický popření nebo inverze .
Denial mění hodnotu logické hodnoty na opak: ne pravda \u003d false; neleží \u003d Pravda.
Pokud existuje několik logických operací v komplexním logickém výrazu, pak vyvstává otázka, jakým způsobem bude provádět svůj počítač. Descending Seniority, logické operace jsou umístěny v tomto pořadí:
popření ( ne);
spojení ( a);
disjunkce ( nebo).
V logických výrazech můžete použít závorky. Stejně jako v matematických vzorcích ovlivňují závorky sled operací. Pokud nejsou žádné závorky, operace jsou prováděny v pořadí jejich seniority.
Příklad. Nechť A, B, C být logické hodnoty, které mají následující hodnoty: a \u003d Pravda, B \u003d False, C \u003d Pravda. Je nutné určit výsledky výpočtu následujících logických výrazů:
a. a B.
a. nebo B.
ne A. nebo B.
a. a B. nebo C.
a. nebo B. a C.
ne A. nebo B. a C.
(A. nebo b) a (z nebo b)
ne (A. nebo b) a (z nebo b)
ne (A. a B. a C)
Dostáváme se jako výsledek:
Příklad. Vytvořit algoritmus pro výpočet:
Výpočet algoritmu X.
Start
Zadejte (A, C)
Pokud (4 * A - C\u003e \u003d 0) a (a<>0) T.
Start
X: \u003d root (4 * a - c) / (2 * a)
Závěr (x)
konec
v opačném případě
Závěr ("žádné řešení")
konec
Počítač nejprve zkontroluje stav (4 * A - C\u003e \u003d 0) a (a<>0) A pokud se ukáže, že je to pravda, pak vypočítat x, jinak se zpráva "bez řešení" odstoupí.
Příklad. Vytvořit algoritmus pro výpočet součtu všech čísel od 1 do n.
Výpočet algoritmu množství čísel
Proměnné A, C, X - Real
Start
ENTER (n)
X: \u003d 1
Zatím
S: \u003d s + x
X: \u003d x +1
konec
Závěr (s)
konec
Do stavu X.
