Informatika (francuski Informatique; engleski Computer science) je znanost o metodama i procesima prikupljanja, pohranjivanja, obrade, prijenosa, analiziranja i vrednovanja informacija pomoću računalnih tehnologija koje omogućuju njihovu upotrebu za donošenje odluka.

Povijesna informatika je interdisciplinarno područje povijesnih istraživanja, čija je svrha proširiti informacijsku, metodološku i tehnološku potporu povijesne znanosti, kao i testirati nove informacijske tehnologije i metode u konkretnim povijesnim istraživanjima. Temelj povijesne informatike je ukupnost teorijskih i primijenjenih znanja potrebnih za stvaranje, obradu i analizu digitaliziranih povijesnih izvora svih vrsta.

Pravna informatika je područje unutar informacijske znanosti. Erdelez i O'Hara (1997) definiraju pravnu informatiku na sljedeći način...

Teorijska informatika je znanstveno područje, čiji su predmet informacije i informacijski procesi, u kojima se provodi izum i stvaranje novih sredstava za rad s informacijama. To je grana opće računalne znanosti i matematike koja se usredotočuje na apstraktnije ili matematičke aspekte računalstva i uključuje teoriju algoritama.

Umjetna inteligencija i pravo (AI i pravo) – Potpodručje umjetne inteligencije (AI), uglavnom se bavi primjenom AI na probleme u pravnoj informatici i izvornim istraživanjima tih problema. Drugi smjer je prijenos alata i metoda razvijenih u kontekstu rješavanja pravnih problema na područje umjetne inteligencije u cjelini. Na primjer, teorije pravnih odluka, posebno modeli rasuđivanja, pridonijeli su razvoju predstavljanja znanja i rasuđivanja; modeli društvenog uređenja...

Više:

SVOJSTVA LOGIČKIH OPERACIJA

1. Notni zapis

1.1. Oznake za logičke konektore (operacije):

a) negacija(inverzija, logičko NE) označava se sa ¬ (na primjer, ¬A);

b) veznik(logičko množenje, logički I) označava se s /\
(na primjer, A /\ B) ili & (na primjer, A & B);

c) disjunkcija(logičko zbrajanje, logički ILI) označava se sa \/
(na primjer, A \/ B);

d) slijedeći(implikacija) se označava sa → (na primjer, A → B);

e) identitet označena sa ≡ (na primjer, A ≡ B). Izraz A ≡ B je istinit ako i samo ako su vrijednosti A i B iste (ili su obje istinite ili su obje lažne);

f) simbol 1 koristi se za označavanje istine (istinit iskaz); simbol 0 - za označavanje laži (lažne izjave).

1.2. Pozivaju se dva Booleova izraza koji sadrže varijable ekvivalent (ekvivalent) ako su vrijednosti ovih izraza iste za bilo koju vrijednost varijabli. Dakle, izrazi A → B i (¬A) \/ B su ekvivalentni, ali A /\ B i A \/ B nisu (značenja izraza su različita, na primjer, kada je A \u003d 1, B \ u003d 0).

1.3. Prioriteti logičkih operacija: inverzija (negacija), konjunkcija (logičko množenje), disjunkcija (logičko zbrajanje), implikacija (slijeđenje), identitet. Dakle, ¬A \/ B \/ C \/ D znači isto što i

((¬A) \/ B)\/ (C \/ D).

Moguće je napisati A \/ B \/ C umjesto (A \/ B) \/ C. Isto vrijedi i za veznik: moguće je napisati A / \ B / \ C umjesto (A / \ B ) / \ C.

2. Svojstva

Popis u nastavku NIJE iscrpan, ali je, nadamo se, reprezentativan.

2.1. Opća svojstva

1. Za set od n Booleove varijable postoje točno 2 n različite vrijednosti. Tablica istinitosti za Boolean izraz iz n varijable sadrži n+1 stupac i 2 n linije.

2.2 Disjunkcija

1. Ako je barem jedan od podizraza na koje se primjenjuje disjunkcija istinit na nekom skupu vrijednosti varijable, tada je cijela disjunkcija istinita za ovaj skup vrijednosti.
2. Ako su svi izrazi s nekog popisa istiniti na nekom skupu vrijednosti varijable, tada je i disjunkcija tih izraza istinita.
3. Ako su svi izrazi s nekog popisa lažni na nekom skupu vrijednosti varijable, tada je i disjunkcija tih izraza također lažna.
4. Vrijednost disjunkcije ne ovisi o redoslijedu podizraza na koje se primjenjuje.

2.3. Konjunkcija

1. Ako je barem jedan od podizraza na koje se primjenjuje konjunkcija lažan na nekom skupu vrijednosti varijable, tada je cijela konjunkcija lažna za taj skup vrijednosti.
2. Ako su svi izrazi s neke liste istiniti na nekom skupu vrijednosti varijable, tada je i konjunkcija ovih izraza istinita.
3. Ako su svi izrazi s nekog popisa lažni na nekom skupu vrijednosti varijable, tada je i konjunkcija tih izraza lažna.
4. Značenje veznika ne ovisi o redoslijedu podizražaja na koje se primjenjuje.

2.4. Jednostavne disjunkcije i konjunkcije

Zovemo (zbog pogodnosti) konjunkciju jednostavan ako su podizrazi na koje se primjenjuje konjunkcija različite varijable ili njihove negacije. Slično, disjunkcija se zove jednostavan ako su podizrazi na koje se primjenjuje disjunkcija različite varijable ili njihove negacije.

1. Jednostavna konjunkcija daje vrijednost 1 (točno) na točno jednom skupu vrijednosti varijable.
2. Jednostavna disjunkcija daje vrijednost 0 (false) na točno jednom skupu vrijednosti varijable.

2.5. implikacija

1. implikacija A →B jednako je disjunkciji (¬ A) \/ B. Ova se disjunkcija također može napisati kao: A\/B.
2. implikacija A →B uzima vrijednost 0 (false) samo ako A=1 i B=0. Ako a A=0, zatim implikacija A →B istina za bilo koju vrijednost b.

Logika je vrlo drevna znanost. Poznato u antičko doba formalna logika, što omogućuje izvođenje zaključaka o ispravnosti bilo koje presude ne prema njezinom stvarnom sadržaju, već samo prema obliku njegove konstrukcije. Na primjer, već u antici je bilo poznato zakon isključenja trećeg. Njegovo smisleno tumačenje bilo je sljedeće: “Platon je tijekom svojih lutanja bio je u Egiptu ILInije Platon u Egiptu. U ovom obliku, ovaj ili bilo koji drugi izraz bit će točan (tada su rekli: pravi). Ništa drugo ne može biti: Platon ili bio ili nije bio u Egiptu – treće nije dano.
Još jedan zakon logike - zakon nedosljednosti. Ako kažete: “Platon je tijekom svojih lutanja bio je u Egiptu Inije Platon u Egiptu", onda će očito svaka izjava koja ima ovaj oblik uvijek biti lažno. Ako iz teorije proizlaze dva kontradiktorna zaključka, onda je takva teorija bezuvjetno pogrešna (lažna) i mora se odbaciti.
Još jedan zakon poznat u antici - zakon negacije:"Ako a NE istina je da Platon NE bio je u Egiptu to znači Platon bio je u Egiptu".
Formalna logika temelji se na "propozicijama". “Propozicija” je temeljni element logike, definirana kao izjavna rečenica, o kojoj se nedvosmisleno može reći sadrži li istinitu ili lažnu tvrdnju.
Na primjer: Lišće na drveću pada u jesen. Zemlja je pravokutna.
Prva izjava je istinita, a druga je lažna. Upitne, poticajne i uzvične rečenice nisu iskazi jer se u njima ništa ne potvrđuje niti poriče.
Primjer rečenica koje nisu izjave: Nemojte piti sirovu vodu! Tko ne želi biti sretan?
Izjave također mogu biti: 2>1, H2 O + SO3 \u003d H2 SO4. Koristi jezike matematičkih simbola i kemijskih formula.
Gore navedeni primjeri izjava su jednostavan. Ali iz jednostavnih izjava može se dobiti kompleks, spajajući ih uz pomoć logičkih veznika. Logički veznici su riječi koje podrazumijevaju određene logičke veze između iskaza. Glavni logički veznici dugo se koriste ne samo u znanstvenom jeziku, već iu svakodnevnom jeziku - to su "i", "ili", "ne", "ako ... onda", "ili ... ili" i drugi poznati nam iz ruskih jezičnih snopova. U tri zakona formalne logike koja smo razmatrali, veznici "i", "ili", "ne", "ako ... onda" korišteni su za povezivanje jednostavnih izjava u složene.
Izreke su opći, privatni i singl. Opća izjava počinje riječima: svi, svi, svi, svaki, nijedan. Privatna izjava počinje riječima: neki, većina itd. U svim ostalim slučajevima izjava je jednina.
Formalna logika bila je poznata u srednjovjekovnoj Europi, razvijala se i obogaćivala novim zakonima i pravilima, ali je pritom, sve do 19. stoljeća, ostala generalizacija specifičnih smislenih podataka i njezini su zakoni zadržali oblik iskaza u govornom jeziku. .

Godine 1847. engleski matematičar George Boole, nastavnik na provincijskom sveučilištu u gradiću Corku u južnoj Engleskoj, razvio je logička algebra .
Logička algebra je vrlo jednostavna, budući da svaka varijabla može imati samo dvije vrijednosti: istinito ili lažno. Poteškoće u proučavanju logičke algebre proizlaze iz činjenice da su simboli 0 i 1 prihvaćeni za označavanje varijabli, koje se podudaraju s uobičajenom aritmetičkom jedinicom i nulom u pisanju. Ali ova podudarnost je samo vanjska, jer imaju potpuno drugačije značenje.
Logička 1 znači da je neki događaj istinit, za razliku od ovoga, logička 0 znači da izjava nije istinita, tj. lažno. Izjava je zamijenjena logičkim izrazom, koji se sastoji od logičkih varijabli (A, B, X, ...) i logičkih operacija (veze).
U logičkoj algebri znakovi operacija označavaju samo tri logička veziva ILI, I, NE.
1.Logička operacija ILI. Uobičajeno je odrediti logičku funkciju u obliku tablice. Lijeva strana ove tablice navodi sve moguće vrijednosti. argumenti funkcije, tj. ulazne količine, a odgovarajući je označen s desne strane Booleova vrijednost funkcije. Za elementarne funkcije dobivamo tablica istine ovu logičku operaciju. Za rad ILI tablica istinitosti izgleda ovako:

Operacija ILI također se zove logičan dodatak , pa se stoga može označiti znakom "+".
Razmotrite složenu jednu izjavu: "Ljeti ću otići na selo ili na turističko putovanje." Označimo sa ALI jednostavna izjava "Ići ću na selo ljeti", i nakon NA- jednostavna izjava "Ići ću na turističko putovanje ljeti." Tada logički izraz složenog iskaza ima oblik A+B, a bit će lažna samo ako nijedna od jednostavnih izjava nije istinita.
2.Logička operacija AND. Tablica istine za ovu funkciju je:

Iz tablice istine proizlazi da operacija I- ovo je logično množenje , koji se ne razlikuje od tradicionalno poznatog množenja u običnoj algebri. Operacija I mogu se označiti znakom na različite načine:

U formalnoj logici poveznicama odgovaraju operacije logičkog množenja i, ali, ipak.
3. Logička operacija NE. Ova operacija je specifična za algebru logike i nema analoga u običnoj algebri. Označava se crticom iznad vrijednosti varijable ili prefiksom ispred vrijednosti varijable:

Čita se u oba slučaja na isti način "Nije A". Tablica istine za ovu funkciju je:

U računalstvu, operacija NE nazvao negacija ili inverzija , operacija ILI - disjunkcija , operacija I - veznik . Skup logičkih funkcija “I”, “ILI”, “NE” je funkcionalno potpun skup ili baza algebre logike. Pomoću njega možete izraziti bilo koje druge logičke funkcije, na primjer, operacije "striktne disjunkcije", "implikacije" i "ekvivalencije", itd. Razmotrimo neke od njih.
Logička operacija “stroga disjunkcija”. Ova logička operacija odgovara logičkom vezniku "ili ... ili". Tablica istine za ovu funkciju je:

Operacija “stroga disjunkcija” izražava se kroz logičke funkcije “I”, “ILI”, “NE” bilo koje od dvije logičke formule:

i inače se naziva operacija nejednakosti ili “zbrajanje po modulu 2”, budući da će kod zbrajanja parnog broja jedinica rezultat biti “0”, a kod zbrajanja neparnog broja jedinica rezultat će biti jednak “1” .
Logička operacija “implikacija”. Izraz koji počinje riječima ako, kada, ako uskoro i u tijeku riječi pa onda, naziva se uvjetna izjava ili operacija implikacije. Tablica istine za ovu funkciju je:

Operacija "implikacija" može se označiti na različite načine:

Ovi izrazi su ekvivalentni i glase isto: "Y je jednako implikaciji iz A i B." Operacija “implikacije” izražava se kroz logičke funkcije “ILI”, “NE” u obliku logičke formule

Logička operacija "ekvivalencija" (ekvivalencija). Ova logička operacija odgovara logičkim veznicima “ako i samo ako”, “ako i samo ako”. Tablica istine za ovu funkciju je:

Operacija "ekvivalencija" označava se na različite načine. Izrazi

stoje za istu stvar, i možemo reći da je A ekvivalentan B ako i samo ako su ekvivalentni. Logička operacija "ekvivalencija" izražava se kroz logičke funkcije "I", "ILI", "NE" u obliku logičke formule

Uz pomoć algebre logike mogu se vrlo ukratko zapisati zakoni formalne logike i dati im matematički rigorozan dokaz.

U algebri logike, kao iu elementarnoj, premjestiv (zakon komutativnosti), asocijativni(zakon asocijativnosti) i distributivni(zakon distributivnosti) zakoni, kao i aksiom idempotencija(nedostatak stupnjeva i koeficijenata) i drugi, u čijim zapisima se koriste logičke varijable koje imaju samo dvije vrijednosti - logičku nulu i logičku jedinicu. Primjena ovih zakona omogućuje pojednostavljenje logičkih funkcija, tj. pronaći za njih izraze koji imaju najjednostavniji oblik. Glavni aksiomi i zakoni algebre logike dani su u tablici:

Primjeri korištenja osnovnih aksioma i zakona:

Poruka

Poruka- u teoriji komunikacije - izjava, tekst, slika, fizički objekt ili čin namijenjen prijenosu. Poruke se sastoje od verbalni ili neverbalni signale. Jedan signal ne može sadržavati puno informacija, pa se za prijenos informacija koristi niz uzastopnih signala. Niz signala se zove poruka.

Dakle, informacije se prenose od izvora do primatelja u obliku poruka. Možemo reći da poruka djeluje kao materijalna ljuska za prezentaciju informacija tijekom prijenosa. Dakle, poruka služi kao nositelj informacije, a informacija je sadržaj poruke.

Odnos između poruke i informacija koje sadrži naziva se pravilo tumačenja poruka. Ovo dopisivanje može biti nedvosmislen i dvosmislen. U prvom slučaju poruka ima samo jedno pravilo tumačenja. U drugom slučaju, korespondencija između poruke i informacije moguća je na dva načina: 1) ista informacija može se prenijeti različitim porukama (konkretno, vijest se može primiti putem radija, iz novina, telefonom itd.); 2) ista poruka može sadržavati različite informacije za različite primatelje (recimo, pad cijene dionice na burzi za jedne je katastrofa, a za druge prilika za bogaćenje).

Budući da je niz signala poruka, kvaliteta diskontinuiteta-kontinuiteta signala prenosi se na poruku. Postoje pojmovi kao što su kontinuirana (analogna), diskretna, kvantizirana i digitalna poruka. Imajte na umu da informacija nema ovu kvalitetu, jer je informacija nematerijalna kategorija i ne može imati svojstvo diskretnosti ili kontinuiteta. Iako se iste informacije mogu prezentirati pomoću različitih poruka, uključujući signale različite prirode. U informatici se ponekad koriste izrazi "kontinuirana informacija" i "diskretna informacija". Oni su rezultat skraćivanja pojmova kao što su informacije predstavljene putem kontinuiranih signala, i informacije predstavljene diskretnim signalima. Stoga je, kada je riječ o vrstama informacija, ispravnije govoriti o oblicima njezine prezentacije u poruci ili o vrstama poruka.

Prilikom oblikovanja poruke, uz signal, koriste se i pojmovi kao što su znak, slovo i simbol. Ispod su razlike među njima.

Znak, slovo i simbol

Znak je element nekog konačnog skupa različitih entiteta. Priroda znaka može biti bilo što - gesta, crtež, slovo, prometni signal, određeni zvuk itd. a određena je i nositeljem poruke i oblikom prezentacije informacija u poruci. Cijeli skup znakova koji se koriste za predstavljanje diskretnih informacija naziva se skup znakova. Skup je diskretni skup znakova.

Skup znakova u kojima je postavljen njihov redoslijed naziva se abeceda. Abeceda je uređena zbirka znakova. Redoslijed znakova u abecedi naziva se leksikografski i pruža priliku za uspostavljanje odnosa " više manje": za dva znaka G< Д, если порядковый номер у Г в алфавите меньше, чем у Д.

Znakovi koji se koriste za označavanje fonema u usmenom govoru nazivaju se slova, a njihova ukupnost – abeceda jezika.

Sami po sebi znak ili slovo ne nose nikakav semantički sadržaj. Međutim, takav sadržaj im se može pripisati, u kojem slučaju će se znak zvati simbol.

Na primjer, električni napon u fizici obično se označava slovom ti, i zbog toga U u formulama je simbol fizikalne veličine "električni napon". Drugi primjer simbola su piktogrami koji predstavljaju objekte ili akcije u računalnim programima.

Stoga se pojmovi "znak", "slovo" i "simbol" ne mogu smatrati identičnima, iako se vrlo često među njima ne pravi razlika; Stoga u informatici postoje pojmovi "znakovna varijabla", "kodiranje znakova abecede", "znakovna informacija", u svim navedenim primjerima umjesto pojma "znak" ispravnije bi bilo koristiti "znak" ili "pismo".

Čini se važnim još jednom naglasiti da se pojmovi znaka i abecede mogu samo pripisati diskretne poruke.

, Osnovna škola

Ciljevi:

Vodiči:

• uvesti pojmove “logičke operacije “I” “ILI”;
• naučiti procijeniti najjednostavnije izjave u smislu istine i laži.

U razvoju:

• razvoj logičkog mišljenja;
• razvoj politehničkih vještina (rad na računalu).

Odgajatelji:

• obrazovanje kognitivnih potreba, interesa za predmet;
• odgoj discipline;
• ispunjavanje utvrđenih zahtjeva za lekciju (kontrola tuberkuloze, ispravno slijetanje na računalo).

Priprema za lekciju.

1. Na demo računalu preuzmite:

• program "Robotland - 96", zadatak "Carrier";

2. Na svim računalima preuzmite:

• program "Robotland - 96", zadatak "Carrier";
• prezentacija "Dodatak lekciji."

Tijekom nastave

1. Organizacijska faza lekcije.

a). Zagrijati se. - Nasmiješili su se jedno drugom. Rekli su lijepe riječi slovom I.

b). Recite mi koje ste tvrdnje naučili u prethodnoj lekciji?

Sada ponovimo:

Točne tvrdnje označite slovom “I”, a netočne tvrdnje slovom “L”.

• Sve životinje su kućni ljubimci. (L) (sl.1)
• Zimi ponekad padne snijeg. (I) (slika 2)

Mislite li da ste naučili sve o logičkim operacijama? Tema lekcije: logičke akcije "I" "ILI".

Danas idemo u nevjerojatnu zemlju "Logic".

Ali da bismo ušli u njega, moramo proći kroz vrata, gdje se nalaze dva čuvara logičkih radnji I i ILI, i izvršiti njihov zadatak.

Zadatak broj 1.

I birajte okrugle i jestive. (slika 3)

ILI. Nisam baš strog čuvar i zadovoljan sam kada je barem jedna moja izjava točna.

Birajte okrugle ili jestive. (Sl. 4)

Koliko ste stvari uzeli?

Zaključak: Logičke operacije: “I” - presjek, “ILI” - odabir, unija. (Prilog 1)

2. Stadij asimilacije i konsolidacije.

Zadatak broj 25.

Rastavljanje geometrijskih oblika:

• Trokuti u bijelom krugu,
• Male figure u crnom krugu.

Koje figure pripadaju oba skupa?

Zadaci br.26,br.27,br.28.

3. Wellness minuta.(Za oči, prste itd.)

4. Faza generalizacije stečenog znanja.

Domaća zadaća #36.

A) U zadatku trebate nacrtati strelice od predmeta do područja ili ga nacrtati u ovom području.

B) Zapiši skupove:

• plivati ​​i letjeti:
• plivati ​​ili letjeti:

5. Tjelesni odgoj.

A sad se odmorimo. Nakon što smo ispunili uvjet i dobili smo rezultat.

Mi ćemo pomaknuti ruke -
Kao da se kupamo u moru.
1, 2, 3, 4 -
Evo nas na obali.
Zdrobiti kosti
Počnimo raditi padine -
Desno i lijevo, naprijed i nazad
Lijevo i desno, naprijed i nazad.
Ne zaboravimo sjesti -
Sada svi tiho sjednite.

Nakon što smo ispunili uvjet tjelesne minute, kakav rezultat dobivamo? (Odmaramo se, opuštamo).

Jesu li svi to postigli?

6. Informativna minuta.

Računalo u brijačnici (prilog 2)

• Danas želim započeti našu minutu pričom o posjetu frizeru. Često posjećujem ovu brijačnicu. Ali posljednji put sam tamo vidio nešto neočekivano, naime, računalo. Što mislite zašto ste ga kupili? (Djeca u pravilu odgovaraju da pomaže u obračunu plaće. Ali može biti točnih odgovora koje učitelj treba komentirati.)
• Da, doista, danas čak i računalo može pomoći osobi u odabiru frizure! Zamislite samo da je djevojka duge i plave kose odlučila ošišati kosu ili je obojati u tamno, ali se boji da joj nova frizura neće pristajati. I tu u pomoć dolazi računalo! Fotografija klijentice kroz poseban uređaj koji se zove "skener", prenosi se na računalo, a njegovo lice se pojavljuje na ekranu (u ovom slučaju nacrtana slika može se objesiti na ploču.) Uz pomoć posebnog programa, razne frizure (Ovo se također može učiniti na ploči, dajući djeci pravo da izraze svoje mišljenje: odgovara li ova ili ona frizura ili ne. Djeca su u pravilu aktivno uključena u raspravu, što pridonosi povećanje kognitivne aktivnosti.)

Tehnike odabira frizure mogu se demonstrirati na različite načine, ovisno o stanju tehnike i dostupnosti softvera. Možete urediti unaprijed skeniranu sliku (na primjer, fotografiju razreda - to će biti iznenađenje za djecu!) Urediti pred djecom u grafičkom uređivaču ili koristiti specijalizirane softverske proizvode. Ali vrlo je važno na kraju informativne minute podsjetiti djecu da se grafička slika prenosi na računalo pomoću skenera i naglasiti prednosti modeliranja frizura na računalu (nema potrebe za provođenjem eksperimenata u punoj veličini, čiji se rezultati također mogu pokazati neuspješnima).

7. Rad na računalu. Igra nosača.

Pogledajmo koje parove naši putnici mogu formirati, a koje ne. Iz uvjeta problema slijedi:

8. Rezultat lekcije.

Koja je bila svrha lekcije?

Jesmo li ga dovršili?

Hvala vam na lekciji. Doviđenja.

Književnost.

1. Adresa http://inf. 1. rujna. ru/2000/2/art/bris1/htm.
2. Perevozkina L.A. Metodičke preporuke.
3. Dodatak časopisu "Informatika i obrazovanje" br. 3-2001.