Professional Documents
Culture Documents
4 - A Programozás Matematikai Alapjai
4 - A Programozás Matematikai Alapjai
Programozs - A programozs
matematikai alapjai
A kvetelmnymodul megnevezse:
Informatikai ismeretek
A kvetelmnymodul szma: 1155-06 A tartalomelem azonost szma s clcsoportja: SzT-016-50
ESETFELVETS - MUNKAHELYZET
n egy olyan munkahelyen dolgozik, amely szmtgppel vgzett tervezsi feladatokra
szakosodott. A szmtgpes tervezst minden esetben elzetes adatok alapjn kell
elvgezni, amelyek bizonyos szmtsi kszsget ignyelnek ntl.
n azt a feladatot kapta, hogy a megadott mszaki rajzokon ellenrizze a mretek
pontossgt s szmszaki helyessgt.
A szmtgppel tmogatott tervezs matematikai alapjai hasznos, fontos informcikat
tartalmaznak az n szmra.
A szmtsi feladatok elvgzse a tervezsek alapjt kpezi.
A fejezetben ismertetsre kerlnek azok a fbb tmakrk, amelyeket eddig tanulhatott, s
lesznek olyan elemek is, amelyek az jdonsg erejvel hathatnak.
SZAKMAI INFORMCITARTALOM
Az alkalmazott matematikai alapok tmakrei:
1. Szmhalmazok
2. Logikai alapmveletek s a Boole-algebra alapjai
3. Mtrixok s determinnsok
4. Lineris egyenletrendszerek megoldsa
5. A grfelmlet alapjai
6. Alapstatisztikai mdszerek
1. Szmhalmazok
A szmhalmazok ismertetse eltt clszer ttekintetni a halmazok alapvet fogalmait,
defincikat s mveleteket.
A halmaz: bizonyos meghatrozott, klnbz objektumoknak (dolgoknak) az sszessgt
jelenti.
1
1. bra. Venn-diagram
A halmaz megadsa:
Felsoroljuk az sszes alkot elemt, illetve annyit, amennyi egyrtelmen megadja az sszes
tbbit is.
Pldul: A:= {1, 2, 3}
A halmaz elemeit tulajdonsgaikkal vagy rjuk vonatkoz sszefggsekkel rjuk le, s a
halmaz elemeit jellemz szveget kapcsos zrjel kz rjuk.
Pldul: A:= {10-nl kisebb pozitv egsz szmok}
Definci: Kt halmaz egyenl, ha ugyanazokbl az elemekbl ll.
A H s K halmaz egyenlsgt H = K jelli, ennek tagadst a HK jelli.
Definci: Az olyan halmazt, amelynek nincs eleme, res halmaznak nevezzk.
Jele:
Mveletek halmazokkal:
Definci: A H halmaz a K halmaznak rszhalmaza, ha H minden eleme eleme a K-nak is.
Jele: HK
Definci: Ha HK s HK, akkor a H-t a K valdi rszhalmaznak nevezzk.
2. bra. Rszhalmaz
Definci: Egy adott H halmaz sszes rszhalmazai is egy halmazt alkotnak, amelyet a H
hatvnyhalmaznak neveznk.
Jele: P(H)
Definci: Kt halmaz egyestettje (unija) azoknak az elemeknek a halmaza, amelyek az
adott halmazok kzl legalbb az egyikben benne vannak.
Jele: HK
Pldul: H:= {1, 2, 4} s K:= {1, 2, 3, 5}, akkor HK:= {1, 2, 3, 4, 5}
Halmazok unijra teljeslnek a kvetkez tulajdonsgok:
Minden H, K, L halmazra
HK = KH
(kommutativits),
(idempotencia).
(kommutativits),
(HK)L = H(KL
HH = H
(asszociativits),
(idempotencia).
(kommutativits),
(idempotencia).
(disztributivits),
(HK)L = (HL)(KL)
(disztributivits).
7. bra. Szmhalmazok
2. Logikai alapmveletek
A logika htkznapi jelentse a rendszeressg, kvetkezetessg.
Pldul: Ez logikus gondolatmenet volt.
A logika egy tudomnyszak elnevezse, melynek feladata a helyes kvetkeztets, a
fogalmnak szabatos meghatrozsa, trvnyeinek feltrsa.
A modern formlis logikt nevezik matematikai logiknak vagy szimbolikus logiknak.
Kijelentsen a kijelent mondat formjban megfogalmazott szveget rtjk, amelyrl
eldnthet, hogy igaz vagy hamis.
Az atomi kijelentsek tartalmnak eldntse nem a logika feladata.
Pldul:
Mria tud autt vezetni.
Mria elvgezte a gpjrmvezet tanfolyamot.
Az atomi kijelentsekbl sszetett kijelentsek kpezhetk, amelyekrl eldnthetjk, hogy
igazak vagy hamisak.
Mria elvgezte a gpjrmvezet tanfolyamot, s tud autt vezetni.
Ez az sszetett kijelents helyesnek rezhet.
Az sszetett formulk ngy logikai sszektjel s kt kvantor segtsgvel kaphatk.
Trgynyelvi jel
Metanyelvi kiolvass
Metanyelvi megnevezs
negcijel
konjunkcijel
diszjunkcijel
ha akkor
implikcijel
brmely/minden
univerzlis kvantor
ltezik/van olyan
egzisztencilis kvantor
Most kvetkezzenek a logikai mveletek. Mindegyik mvelethez egy plda fogja segteni nt
a megrts folyamatban.
Vegynk pldaknt kt kijelentst:
p: A lmpa g.
q: A lift mkdik.
Negci vagy tagads: Egy kijelents tagadst jelenti. Jele: q
Plda: A lift nem mkdik.
Konjunkci: Kt kijelents sszekapcsolsa az s ktszval. Akkor igaz, ha mindkt
kijelents igaz. Jele: pq
Plda: A lmpa g, s a lift mkdik.
A logikai mveletek eredmnyeit rtktblzatban vagy igazsgtblzatban foglalhatjuk
ssze (i: igaz, h: hamis).
A konjunkci mvelet igazsgtblzata:
p
pq
pq
pq
pq
Sem-sem mvelet: Ennek a mveletnek eredmnye akkor s csak akkor igaz, ha mindkt
tagja hamis. Jele: p||q
10
p||q
Sheffer-fle mvelet: Ennek a mveletnek eredmnye akkor s csak akkor hamis, ha mindkt
tagja igaz. Jele: p|q
Plda: Nem g a lmpa, vagy a lift nem mkdik.
A Sheffer-fle mvelet igazsgtblzata:
p
p|q
Ekvivalencia: Ennek a mveletnek eredmnye akkor s csak akkor igaz, ha mindkt tagja
azonos logikai rtk. Jele: pq
Plda: Nem igaz, hogy a lmpa g s a lift nem mkdik.
Az ekvivalencia mvelet igazsgtblzata:
p
pq
programozsban,
informatikai
megfogalmazsokban
is
tallkozhatunk
logikai
Programnyelvi
mvelet
utasts
nem
NOT
AND
vagy
OR
kizr vagy
XOR
11
NAND
nem vagy
NOR
17
NOT A
238
decimlis
17
114
A AND B
16
A OR B
115
A XOR B
99
A NAND B
239
A NOR B
140
A Boole-algebra alapjai:
George Boole (1815-1864) Lincoln vrosban (Angliban) szletett. 1854-ben jelent meg
Boole alapvet mve, A gondolkods trvnyeinek, a logika s a valsznsg matematikai
alapjainak vizsglata, amelyet ma a matematika klasszikus mvei kz sorolnak. Az ltala
megfogalmazott matematikai struktra indokolja a Boole-algebra elnevezst.
A halmazalgebra sok tekintetben klnbzik a mr ismert algebrai rendszerektl.
Megfogalmazhatjuk oly rtelemben is, hogy a Boole-algebra az eddig ismertetett
halmazelmleti s logikai ismeretek kztt felfedte s letisztzta a bennk rejl kapcsolatot.
Mskpp fogalmazva teljesen mindegy, hogy halmazelmleti, illetve logikai mveletet
vizsglunk. Ezek hasonl matematikai tulajdonsgokkal rendelkeznek, azaz a Boole-algebra
nem ms, mint a jellsrendszer egyszerstse.
Definci: A Boole-algebra olyan
12
A komplementumra teljesl:
_
0
_
=
A relcira teljesl:
0 0, 1 0, 1 1
gy megkaptuk a Boole-algebra legegyszerbb modelljt.
Most itt az ideje egy kis magyarzatnak. Az albbi tblzatban lett sszefoglalva a
mveletek konverzija, megfeleltetse.
Boole-algebra
Halmazelmlet
Logika
Komplementum
Komplementer halmaz
Negci
sszeads
Uni
Vagy
Szorzs
Metszet
Tartalmazsi relci
Rszhalmaz
13
3. Mtrixok s determinnsok
A mtrix olyan matematikai objektum, melyben a vals szmok n szm sorban s m szm
oszlopban vannak elrendezve. A mtrixok jellsre nagybetket hasznlunk (A, B stb.), mg
elemeit kisbetkkel s kt als indexszel (aij) jelljk. A mtrixot nm-es vagy nm tpus
mtrixnak nevezzk.
Jele: A = (aij), ahol i = 1..n, j = 1..m
Mveletek mtrixokkal:
Kt mtrix egyenl, ha ugyanolyan tpusak, s megfelel elemeik megegyeznek.
Ha egy mtrixnak ugyannyi sora van, mint oszlopa, azaz n = m, akkor ngyzetes mtrixnak
nevezzk.
14
15
Egy A mtrix c konstanssal val szorzatt gy hatrozzuk meg, hogy minden egyes elemt
megszorozzuk (bij = aij c) vele.
16
Ha egy A mtrix nm (aij, i = 1..n, j = 1..m) tpus s egy B mtrix mp (bjk, j = 1..m,
k = 1..p) tpus, akkor ltezik az np tpus C szorzatmtrix.
C = A B (cik, i = 1..n, k = 1..p)
Pldul, ha az A mtrix 2 3 tpus, a B mtrix 3 2 tpus, akkor a szorzatmtrix
(C = A B) 2 2 tpus lesz.
A szorzatmtrix kiszmtsnak menete:
c11 = a11 b11 + a12 b21 + a13 b31
c12 = a11 b12 + a12 b22 + a13 b32
c21 = a21 b11 + a22 b21 + a23 b31
c22 = a21 b12 + a22 b22 + a23 b32
17
19
|A| = a11 (a22 a33 - a23 a32) - a12 (a21 a33 - a23 a31) + a13 (a21 a32 - a22 a31)
b) Sarrus-szably alkalmazsval
Egsztsk ki a determinnst az els kt oszlopval, majd a ftlban lv s a vele
prhuzamos tlkban lv elemek szorzatnak sszegbl, vonjuk le a mellktlban lv
s a vele prhuzamos tlkban lv elemek szorzatnak sszegt!
|A| = (a11 a22 a33) + (a12 a23 a31) + (a13 a21 a32) - (a13 a22 a31) - (a11 a23 a32) (a12 a21 a33)
20
21
els
egyenlet
alkalmas
tbbszrseinek
levonsval
megkapjuk
kvetkez
egyenletrendszert:
x1 + 3x2 + x3 = 5
-2x2 + 4x3 = -12
-5x2 - x3 = -8
-3x2 - 5x3 = 4
A msodik egyenletet osszuk le -2-vel, majd alkalmas tbbszrseinek levonsval
megkapjuk a kvetkez egyenletrendszert:
x1 + 3x2 + x3 = 5
x2 - 2x3 = 6
-11x3 = 22
7x3 = -14
A harmadik egyenletet osszuk le -11-gyel, majd alkalmas tbbszrseinek levonsval
megkapjuk a kvetkez egyenletrendszert:
x1 + 3x2 + x3 = 5
x2 - 2x3 = 6
x3 = -2
0=0
Mivel nem jutottunk ellentmondsra (0 = 0), ezrt a lineris egyenletrendszernek pontosan
egy megoldsa van: x1 = 1; x2 = 2; x3 = -2.
23
Definci:
lineris
egyenletrendszer
determinnsnak
megfelel
oszlopba
24
5. A grfelmlet alapjai
Grfon pontoknak s egyszer veknek olyan rendszert rtjk, amelyben minden v a
rendszer kt pontjt kti ssze, s minden pont legalbb egy vnek a vgpontja. A pontokat
a grf szgpontjainak, az veket a grf leinek nevezzk.
Definci: A G = (V,E) prt grfnak nevezzk, ahol V a pontok, E pedig az lek halmaza.
Pontok halmaza: V = {a, b, c, d, e}.
lek halmaza: E = {(a,a), (a,b), (a,c), (a,d), (b,a), (b,c), (b,c), (c,a), (c,b), (c,b), (c,d), (c,d), (d,a),
(d,c)}
25
Egyszer grfnak nevezzk azt a G (V,E) grfot, amelynek nincs hurokle, nincs tbbszrs
le, s nem tartalmaz izollt pontot.
Teljes grfnak nevezzk azt a G (V,E) grfot, amelynek brmely kt klnbz pontjt l kti
ssze.
Az n pont teljes grf leinek szma |E| = n * (n - 1)/2.
26
Komplementer grf: Ha egy teljes grfot kiegsztnk teljes grff, s ebbl az eredeti grf
leit trljk, akkor az gy nyert grfot az eredeti grf komplementer (kiegszt) grfjnak
nevezzk.
Rszgrf: Ha egy grf bizonyos leit s pontjait (az illeszked lekkel egytt) trljk, akkor
az gy nyert grfot az eredeti grf rszgrfjnak nevezzk.
Izomorf grf: A G (V,E) s a G'(V',E') grfok izomorfak, ha van olyan klcsnsen egyrtelm
megfeleltets, hogy ha a G-ben egy cscshoz egy l illeszkedik, akkor a G'-ben is igaz, hogy
a megfelel cscshoz a megfelel l illeszkedik.
Jele: G G (ellenkezje G G, azaz a kt grf nem izomorf).
27
Ha egy G(V,E) grf valamely pontjbl kiindulva, az leken haladva eljuthatunk egy msik
pontjba, akkor egy lsorozatot (e1, e2, e3, , en) kapunk, s stnak nevezzk.
Az (i) pontbeli stt tnak nevezzk, ha a sta minden rintett pontja klnbz.
Ha az (i) pontbeli t kezd- s vgpontja azonos, akkor krnek nevezzk.
Hamilton-tnak nevezzk azt az utat, amely a grf valamennyi cscspontjn pontosan
egyszer halad t. Hamilton-krrl beszlnk, ha a Hamilton-t kezd- s vgpontja azonos.
Euler-vonalnak (t) nevezzk azt az utat, amely a grf valamennyi ln pontosan egyszer
halad t. Euler-krrl beszlnk, ha az Euler-vonal kezd- s vgpontja azonos.
Az egyik leghresebb grfelmleti problma a knigsbergi hidak problmja
Knigsberg vrosban ht hd velt t a vrost tszel folyn gy, hogy ezek a foly kt
szigett is rintettk. A krds, hogy vgig lehet-e menni az sszes hdon gy, hogy
mindegyiken csak egyszer haladjunk t, s egyttal visszarjnk a kiindulpontba.
28
Euler bebizonytotta, hogy a knigsbergi hidakat nem lehet gy bejrni, hogy mindegyiken
csak egyszer haladjunk t, s egyttal visszarjnk a kiindulpontba.
Definci: A G(V,E) irnytatlan grfot pros grfnak nevezzk, ha a V cscspontok kt
diszjunkt A s B halmazra oszthatk, gy, hogy G minden lnek az egyik vgpontja A-ban,
a msik vgpontja B-ben van.
Definci: Egy G (V,E) grf j sznezsn a cscsainak olyan sznezst rtjk, ahol az lekkel
sszekttt cscsok eltr szneket kapnak.
A grfok sznezst a trkpszetben is hasznosthatjk. Pldul az egymssal szomszdos
megyket Magyarorszg vaktrkpn klnbz sznekkel jellhetjk.
Domborzatok rnyalsnl is megfigyelhetjk ezt a megoldst.
Ngysznsejts: Minden hurokmentes skgrf 4 sznnel jl sznezhet.
A sejts (ttel) bizonytstl itt eltekintennk.
29
6. Alapstatisztikai mdszerek
A statisztika egy tudomnyos mdszertan, amely a valsg tmr, szmszer jellemzsre
szolgl.
A vizsglat trgyt kpez egyedek sszessgt statisztikai sokasgnak (populci)
nevezzk.
A statisztikai sokasg egyedeinek kzs s megklnbztet tulajdonsgait statisztikai
ismrvnek nevezzk.
Statisztikai ismrvek:
-
Terleti ismrvek
Idbeli ismrvek
Minsgi ismrvek
Mennyisgi ismrvek
30
A statisztikai sor a sokasg egyetlen ismrv szerinti jellemzst adja. A statisztikai sorok
rendszerezse hagyomnyosan a vizsglt ismrv tpusa szerint trtnik.
A csoportostsor ltalnos smja a kvetkez:
Osztly
Gyakorisg
C1
f1
C2
f2
Ck
fk
sszesen
Az aritmetikai tlag az a szm, amelyet az tlagoland rtkek helybe tve azok sszege
nem vltozik.
tlagtl
vett
eltrsek
ngyzeteinek
32
tlaga
szrsngyzet
(variancia),
ennek
33
34
TANULSIRNYT
1. Oldja meg a feladatokat a kijellt helyen!
Adott kt halmaz, pldul H:= {1, 3, 4} s K:= {1, 3, 6, 7}. Adjuk meg a kt halmaz unijt, illetve metszett!
HK:= ___________________________________________________________________________________
HK:= ___________________________________________________________________________________
Adott kt halmaz, pldul H:= {1, 2, 4} s K:= {1, 2, 3, 5}. Adjuk meg a kt halmaz klnbsgt s
szimmetrikus klnbsgt!
H\K:= ____________________________________________________________________________________
HK:= ____________________________________________________________________________________
35
Adott egy halmaz s alaphalmaza, pldul A:= {2, 3, 6} s U:= {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}. Adjuk meg az A
kiegszt halmazt az U-ra!
:= ______________________________________________________________________________________
Adott kt halmaz, pldul H:= {2, 5} s K:= {1, 2, 3}. Adjuk meg a kt halmaz Descartes-fle szorzatt!
HK:= ____________________________________________________________________________________
Egy 20 fs osztlyban 12 f tud sakkozni, 7 f dmzni, s 4 f tud mindsszesen sakkozni s dmzni is. Arra
keressk a vlaszt, hogy hny f nem zi egyik jtkot sem.
_________________________________________________________________________________________
_________________________________________________________________________________________
_________________________________________________________________________________________
_________________________________________________________________________________________
Adott egy olyan halmaz, amely klnbz szmokat tartalmaz. A:= {-4; 0; 11; 4i-2; e; 4,14; , -45,5; 150; -3i; 5;
-100; 78,9}. Helyezzk el a szmokat a megfelel szmhalmazba!
N:= ______________________________________________________________________________________
Z:= _______________________________________________________________________________________
R:= ______________________________________________________________________________________
C:= ______________________________________________________________________________________
36
rtkeljk ki tltbla segtsgvel a kvetkez sszetett logikai mveleteket, s adjuk meg a mondatszer
megfogalmazst is! qp, qp
qp
qp
Adott kt decimlis szm, A=50, B=96. Egy bjton szeretnnk ezeket brzolni, majd elvgezni nhny logikai
mveletet.
37
A = ______________________________________________________________________________________
B =_______________________________________________________________________________________
NOT B = __________________________________________________________________________________
A AND B = ________________________________________________________________________________
A OR B = _________________________________________________________________________________
A XOR B = ________________________________________________________________________________
A NAND B = ______________________________________________________________________________
A NOR B = ________________________________________________________________________________
38
3x1 - x2 - 4x3 = -2
4x1 + x2 - 3x3 = 2
39
Adott egy G grf. Vlaszoljuk meg a kvetkez krdseket, majd sznezzk ki a grfot!
Adott egy 20 fs, azonos kor felnttekbl ll csoport. Felmrtk a testmagassgukat s testslyukat. A
testslyukbl statisztikt szeretnnk szmtani (aritmetikai tlag, mdusz, medin, szrds terjedelme, korriglt
szrs)!
40
Testslyok: 57, 50, 79, 80, 61, 71, 73, 72, 115, 100, 63, 72, 60, 75, 72, 80, 76, 80, 80, 120 __________________
A rendezett minta: ___________________________________________________________________________
_________________________________________________________________________________________
Darabszm, azaz n = _________________________________________________________________________
Szrds terjedelme, azaz R = _________________________________________________________________
tlag, azaz x = _____________________________________________________________________________
Mdusz, azaz Mo = __________________________________________________________________________
Medin, azaz Me = __________________________________________________________________________
Korriglt szrs, azaz S = _____________________________________________________________________
_________________________________________________________________________________________
41
NELLENRZ FELADATOK
1. feladat
Adott kt halmaz A:= {2, 3, 5, 8} s B:= {1, 3, 8, 9, 10}, valamint az alaphalmaz U:= {1, 2, 3,
4, 5, 6, 7, 8, 9, 10}. Adja meg a kt halmazra vonatkozan a kvetkez mveletek
eredmnyeit! A megoldst Venn-diagramon is brzolja!
AB:=
AB:=
A\B:=
AB:=
:=
2. feladat
Adott kt logikai kijelents p (A lmpa g) s q (A lift mkdik). A kvetkez sszetett
logikai mveletnek adja meg a mondatszer megfogalmazst, majd rtkelje ki tltbla
segtsgvel!
pq
_________________________________________________________________________________________
pq
3. feladat
Adott kt decimlis szm A = 95, s B = 109. Tltse ki az albbi tblzatot!
binris
decimlis
95
109
NOT B
42
5. feladat
Fejtse ki a kvetkez determinnsokat!
6. feladat
Oldja meg a lineris egyenletrendszert az ismeretlenek fokozatos kikszblsnek
mdszervel!
x1 - x 3 + x4 = 3
-2x1 + x2 - x3 + x4 = 1
3x1 + 3x2 + x3 + 3x4 = 7
x1 + 2x2 - x3 + 3x4 = 11
43
9. feladat
Adott egy 15 fs csoport, letkoraik: 70, 59, 60, 32, 26, 32, 32, 34, 36, 50, 52, 18, 26, 44,
50.
Hatrozzuk meg a kvetkez statisztikai mrszmokat!
44
_________________________________________________________________________________________
n = _______________________________________________________________________________________
R =_______________________________________________________________________________________
x = _______________________________________________________________________________________
Mo = _____________________________________________________________________________________
Me = _____________________________________________________________________________________
S = _______________________________________________________________________________________
_________________________________________________________________________________________
45
MEGOLDSOK
1. feladat
AB:= {1, 2, 3, 5, 8, 9, 10}
AB:= {3, 8}
B\A:= {1, 9, 10}
AB:= {1, 2, 5, 9, 10}
:= {1, 4, 6, 7, 9, 10}
2. feladat
Ha a lmpa nem g, akkor a lift mkdik.
p
pq
3. feladat
binris
46
decimlis
95
109
NOT B
146
77
A OR B
127
A XOR B
114
B NAND A
18
B NOR A
223
4. feladat
5. feladat
|A| = 0, |B| = 6, |C| = -10
6. feladat
x1 = -8, x2 = -26, x3 = 19, x4 = 30.
7. feladat
x1 = -1, x2 = 1, x3 = -2.
8. feladat
4 sznnel sznezhet.
47
9. feladat
18, 26, 26, 32, 32, 32, 34, 36, 44, 50, 50, 52, 59, 60, 70
N = 15, R = 52, x = 41,4, Mo = 32, Me = 36, S = 14,91
48
IRODALOMJEGYZK
FELHASZNLT IRODALOM
Dr. Nagy Tams: Matematika. Miskolc, 1997.
Dr. Pelle Bla: Geometria, Tanknyvkiad, 1979.
Dr. Sashalmin Kelemen va: A matematikai logika s a halmazelmlet elemei. EKTF Lceum
Kiad, 1996.
Dr. Szendrei Jnos: Algebra s szmelmlet. Tanknyvkiad, 1978.
Hajnal Imre - dr. Nemetz Tibor - dr. Pintr Lajos: Matematika III. (fakultatv B vltozat).
Nemzeti Tanknyvkiad, 1994.
Horvth Gzn dr.: Alkalmazott statisztika I. Klkereskedelmi Fiskola, 1994.
AJNLOTT IRODALOM
Bokor Jzsef: Oktatsi segdlet az zleti matematika s Matematika tantrgyakhoz,
Booklands 2000 Kft., 2001.
49
A szakkpests megnevezse
CAD-CAM informatikus
Gazdasgi informatikus
Infostruktra menedzser
Ipari informatikai technikus
Mszaki informatikus
Tvkzlsi informatikus
Telekommunikcis informatikus
Trinformatikus