Bevezetés a számításelméletbe 1
A tantárgyleírás hatályossága
| Tantárgy neve (magyarul, angolul) |
Bevezetés a számításelméletbe 1
Introduction to the Theory of Computing 1
|
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Tantárgykód | BMEVISZAA00 | ||||||||||||
| Tantárgyjelleg | — | ||||||||||||
| Képzési szint | — | ||||||||||||
| Kurzustípusok és óraszámok (heti/féléves) |
|
||||||||||||
| Tanulmányi teljesítmény/értékelés típusa | vizsga | ||||||||||||
| Tantárgy kreditértéke | 4 | ||||||||||||
| Tantárgyfelelős |
DR. Szeszlér Dávid
beosztás: egyetemi docens
elérhetőség:
szeszler.david@vik.bme.hu
|
||||||||||||
| Tantárgyat gondozó oktatási szervezeti egység |
Számítástudományi és Információelméleti Tanszék
|
||||||||||||
| Kar | Villamosmérnöki és Informatikai Kar | ||||||||||||
| Tantárgy weboldala | http://cs.bme.hu/bsz1 | ||||||||||||
| Tantárgy elsődleges mintatantervi jellege | — | ||||||||||||
| Közvetlen előkövetelmények – Erős előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Gyenge előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Párhuzamos előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Mérföldkő előkövetelmény | nincs | ||||||||||||
| Közvetlen előkövetelmények – Kizáró feltétel | nincs |
Célkitűzés
1) Térbeli koordinátageometria: vektorok a térben, koordinátarendszer, skaláris szorzat. A sík egyenlete. Az egyenes (paraméteres és kanonikus egyenletrendszere). Rn fogalma, műveletek oszlopvektorokkal.
2) Rn alterének fogalma, műveleti zártság. Lineáris kombináció, generátorrendszer és generált altér fogalma, az utóbbi altér volta. Lineáris függetlenség fogalma, a kétféle definíció ekvivalenciája.
3) Reláció az alterek lineárisan független rendszereinek, illetve generátorrendszereinek elemszáma között. Bázis és dimenzió fogalma, a dimenzió egyértelműsége. Bázisban való felírás egyértelműsége.
4) Lineáris egyenletrendszerek megoldása Gauss-eliminációval. Elemi sorekvivalens lépés, lépcsős alak és redukált lépcsős alak fogalma. Reláció az egyenletek és az ismeretlenek száma között egyértelmű megoldhatóság esetén.
5) Determináns definíciója. Permutációk inverziószáma. A determináns alaptulajdonságai. Determináns kiszámítása Gauss-eliminációval. (n x n)-es lineáris egyenletrendszer egyértelmű megoldhatóságának jellemzése a determinánssal. A kifejtési tétel.
6) Térvektorok vektoriális- és vegyesszorzatának fogalma, a vegyesszorzat kapcsolata a determinánssal. Műveletek mátrixok között, egységmátrix, transzponált mátrix. A determinánsok szorzástétele. Lineáris egyenletrendszerek Ax=b alakban. Kapcsolat a négyzetes mátrix oszlopainak/sorainak lineáris függetlensége, illetve a determináns között.
7) Az inverz mátrix fogalma, az inverz létezésének szükséges és elégséges feltétele. Az inverz kiszámítása. Mátrix rangjának fogalma, a háromféle rangfogalom egyenlősége, a rang kiszámítása.
8) Lineáris leképezés fogalma, leképezés linearitásának szükséges és elégséges feltétele. Lineáris leképezések kompozíciója, addíciós tételek a sin és cos függvényekre. Lineáris leképezés magtere, képtere, dimenziótétel.
9) Bázistranszformáció, lineáris transzformáció mátrixa adott B bázis szerint, annak kiszámítása. Sajátérték és sajátvektor fogalma, a sajátértékek kiszámítása, a karakterisztikus polinom fogalma.
10) A számelmélet alapjai: oszthatóság, prímszám, a számelmélet alaptétele, a prímek számossága, hézag a szomszédos prímek között, a nagy prímszámtétel. Kongruencia fogalma, alapműveletek kongruenciákkal. Lineáris kongruenciák megoldhatósága.
11) Euklideszi algoritmus a legnagyobb közös osztó kiszámítására, illetve lineáris kongruenciák megoldására. Kétváltozós, lineáris, diofantikus egyenletek, szimultán kongruenciarendszerek megoldása. Euler-Fermat tétel, kis Fermat-tétel.
12) Számelméleti algoritmusok: kapcsolat az input mérete és a bemenő adatok logaritmusa között, alapműveletek, hatványozás modulo m, prímtesztelés. Nyilvános kulcsú titkosírás, RSA.
13) Végtelen halmazok számossága: egyenlő és kisebb-vagy-egyenlő számosságú halmaz fogalma. Megszámlálhatóan végtelen és kontinuum számosságú halmaz fogalma. Az N, Z, Q és R számhalmazok számossága.
14) Ismétlés, összefoglalás, a tanult anyagrészek rendszerezett áttekintése. A szóbeli vizsgára vonatkozó aktuális vizsgatételsor és az egyes vizsgatételekkel kapcsolatos részletes elvárások ismertetése.
Tanulmányi eredmények
Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:
Tudás
Nincsenek rögzített tanulási eredmények.
Képességek
Nincsenek rögzített tanulási eredmények.
Attitűd
Nincsenek rögzített tanulási eredmények.
Autonómia és felelősség
Nincsenek rögzített tanulási eredmények.
Oktatási módszertan
Tanulástámogató anyagok
Online források
A tantárgy teljesítéséhez ajánlott előzetes ismeretek
Általános szabályok
Teljesítményértékelési módszerek
Szorgalmi időszakban végzett teljesítményértékelések részletes leírása
Nincs megadva részletes értékelés.
Szorgalmi időszakban végzett teljesítményértékelések részaránya
Nincs megadva részarány.
Vizsgaidőszakban végzett teljesítményértékelések részletes leírása
Nincs megadva részletes értékelés.
Vizsgarészek részaránya
Nincs megadva részarány.
Érdemjegy megállapítása
Nincs megadva érdemjegy határ.
Jelenléti és részvételi követelmények
Nincs megadva jelenléti követelmény.
Javítás, ismétlés és pótlás különös szabályai
Nincs megadva.
Rövid leírás
Nincs megadva.
Részletes leírás
Ajánlott tantárgyak
A tantárgy elvégzéséhez szükséges tanulmányi munka
Nincs megadva munkaidő bontás.
Tantárgykövetelmények hatályossága
Tantervi elhelyezés
Nincsenek rögzített tantervi elhelyezések ehhez a tárgyverzióhoz.