2014. 12. 12.PPKE JÁK Informatika1 Informatika INFORMATIKA ELŐADÁS 2014. október 16. I. ELŐADÓ.

Slides:



Advertisements
Hasonló előadás
Átváltás decimális számrendszerből bináris számrendszerbe.
Advertisements

Készítette: Kunkli Zsóka Balásházy MGSZKI Debrecen,
A matematikai logika alapfogalmai
Informatika I. 6. Adattábla függvények, érzékenységi vizsgálatok.
Matematikai logika.
Az információ olyan új ismeret, amely megszerzőjének szükséges és érthető. Az adat az információ megjelenésének formája.  Az adat lehet: Szöveg Szám Logikai.
ADATBÁZIS KEZELÉS – Adattípusok
É: Pali is, Pista is jól sakkozik. T: Nem igaz. É: Bizonyítsd be. Mi nem igaz? T: Nem igaz, hogy Pali jól sakkozik. Nyertem É: Pali vagy Pista.
Matematikai logika A diasorozat az Analízis 1. (Mozaik Kiadó 2005.) c. könyvhöz készült. Készítette: Dr. Ábrahám István.
Logika 3. Logikai műveletek Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék február 24.
Táblázat kezelő programok
Logika Érettségi követelmények:
Adatbázis-kezelés.
Logikai műveletek
Az informatika logikai alapjai
Bevezetés a digitális technikába
Logika 5. Logikai állítások Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék március 10.
PPKE JÁK Informatika1 Informatika INFORMATIKA ELŐADÁS október 10. I. ELŐADÓ.
Bevezetés a matematikába I
ELTE Szlávi - Zsakó: Programozási alapismeretek 5.1/ Sorozatszámítás Specifikáció (a végleges) :  Bemenet:
Kényszerek megadása. Indexek kezelése.
Halmazelmélet és matematikai logika
Jogszabálytárak, jogi adatbázisok Groma Sarolt1 Jogszabálytárak, jogi adatbázisok KODIFIKÁTOR SZAKJOGÁSZKÉPZÉS október 12. III. ELŐADÓ.
Jogi informatika1 INFORMATIKA II. alkalom szeptember ELŐADÓ.
Térkép. Mi az adat? Minden információ, amit tárolni kell. Minden információ, amit tárolni kell.  szám  szöveg  dátum  hang  kép, stb.
Statisztika, kutatásmódszertan I.
Az If függvény és a Feltételes Formázás az Excelben
Boole-algebra (formális logika).
Prezentáció PPKE-JÁK Informatika számonkérő feladatok Levelező tagozatos hallgatóknak 2004/05 I. félév.
Bemutatkozás Név: Vespi Gábor Kelt: december 27.
Informatika számonkérő feladat
Logika 2. Klasszikus logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék február 17.
Logikai műveletek.
Nem igaz, hogy a kocka vagy tetraéder. Nem igaz, hogy a kicsi és piros. a nem kocka és nem tetraéder. a nem kicsi vagy nem piros. Általában: "  (A  B)
EXCEL Excel.
Adatbázis kezelés.
ADATMODELLEZÉS ADATBÁZIS-KEZELÉS
Az informatika logikai alapjai
Adatbázis alapfogalmak
Az informatika logikai alapjai
Informatika - 1. alkalom Jogi informatika - alapok
Jogi informatika1 INFORMATIKA II. alkalom szeptember ELŐADÓ.
Az informatika logikai alapjai
BIOLÓGUS INFORMATIKA 2008 – 2009 (1. évfolyam/1.félév) 3. Előadás.
INFORMATIKA ELŐADÁS november 6. E1 ELŐADÓ Informatika
 Adatbázis:  Valamilyen szempont szerint rendszerezett adathalmaz.  Adatbázis kezelés:  Adatok tárolása  Műveletek végzése az adatbázison; (Adatok.
1 Informatika - 1. alkalom Jogi informatika - alapok szeptember 10. E1 előadó PPKE JÁK Informatikai Oktatási Csoport.
Gazdasági informatika II (SZIE GTK GVAM 1. évfolyam) 2009/2010. tanév 2. félév.
Informatika logikai alapjai természetes levezetés
Táblák létrehozása és feltöltése adatokkal Rendezés Szűrés.
INFORMATIKA ELŐADÁS október 15. I. ELŐADÓ Informatika
Informatika - 1. alkalom szeptember 14. E1 előadó
INFORMATIKA ELŐADÁS október 22. E1 ELŐADÓ Informatika
INFORMATIKA ELŐADÁS október 27. E1 ELŐADÓ Informatika
INFORMATIKA ELŐADÁS október 20. I. ELŐADÓ Informatika
Logika.
Informatika - 1. alkalom szeptember 22. E1 előadó
Demonstrátorok: Sulyok Ági Tóth  István
Adatbáziskezelés.
INFORMATIKA ELŐADÁS október 27. E1 ELŐADÓ Informatika
INFORMATIKA ELŐADÁS október 19. I. ELŐADÓ Informatika
Nulladrendű formulák átalakításai
2018. március 3. B épület E1 előadó
Adatbázis-kezelés 2. Relációs adatbázisok.
Készítette: Kunkli Zsóka Balásházy MGSZKI Debrecen,
ÍTÉLETKALKULUS (NULLADRENDŰ LOGIKA)
INFORMATIKA ELŐADÁS november 8. I. ELŐADÓ Informatika
2019. március 2. B épület E1 előadó
INFORMATIKA ELŐADÁS március 23. I. ELŐADÓ Informatika
A piros sál a leghosszabb.
Előadás másolata:

PPKE JÁK Informatika1 Informatika INFORMATIKA ELŐADÁS október 16. I. ELŐADÓ

PPKE JÁK Informatika2 Informatika ADATBÁZISKEZELÉS Nem a digitális társadalom terméke! Csillagászati adatok Könyvtárkatalógusok Katalógusok Menetrend …..

PPKE JÁK Informatika3 Informatika ADATBÁZISKEZELÉS Adat Tulajdonság (mező, oszlop) Egyed (rekord, sor) Rendezés Kulcs

PPKE JÁK Informatika4 Informatika ADATBÁZISKEZELÉS Kulcs (több is) Egyedi kulcs (több is) Elsődleges kulcs (egy)

PPKE JÁK Informatika5 Informatika ADATBÁZISKEZELÉS Azonosítás – elsődleges kulcs Személyi igazolványszám TAJ kártya Bankszámlaszám Rendszám IP cím …... Nem illik változtatni!

PPKE JÁK Informatika6 Informatika ADATBÁZISKEZELÉS kulcs - ellenőrzés Honnan tudja a Neptun TAJ kártyaszámomat Bankszámlaszámomat Diákigazolványszámomat Személyi számomat …... Ha tudja, miért kérdezi !?! ELLENŐRZŐSZÁM (utolsó jegy általában)

PPKE JÁK Informatika7 Informatika ADATBÁZISKEZELÉS Kódváltások – SZÜKSÉGBŐL! Rendszám Budapesti telefonszámok És még vár ránk: IP cím …….

PPKE JÁK Informatika8 Informatika ADATBÁZISFUNKCIÓK Adattárolás Visszakeresés (fókuszálás) Rendezés Szűrés Adatkapcsolás

PPKE JÁK Informatika9 Informatika ADATBÁZISKEZELÉS RENDEZÉS ADAT

PPKE JÁK Informatika10 Informatika ADATBÁZISKEZELÉS RENDEZÉS ADATSZÖVEGSZÁM ABC!!

PPKE JÁK Informatika11 Informatika ADATBÁZISKEZELÉS ADATTÍPUSOK SZÖVEGES (KARATERES) SZÁM (ALTÍPUSOK) LOGIKAI (IGEN/NEM) DÁTUM (EZ IS SZÁM) EGYÉB CSATOLÁSOK (pl. FÉNYKÉP) NEM IGAZI ADATBÁZISMEZŐ!

PPKE JÁK Informatika12 Informatika ADATBÁZIS-PÉLDÁINK NEPTUN Complex Jogtár Kari telefonkönyv ….

PPKE JÁK Informatika13 Informatika LOGIKA Az igazi igen/nem világ

PPKE JÁK Informatika14 Informatika LOGIKA Függvény: Állításokigaz hamis igaz: I, igen, 1, True, fekete stb. hamis: H, nem, 0, False, fehér Logikai érték

PPKE JÁK Informatika15 Informatika LOGIKA - állítások Tegnap Budapesten 20 C fölötti hőmérsékletet is mértek. I Holnap szép idő lesz. ? A 18 prímszám. H Ági a legszebb lány az évfolyamban. ? Az ikerprímek száma végtelen ?

PPKE JÁK Informatika16 Informatika LOGIKA – összetett állítások Ha egy jogszabály törvény, akkor azt a parlament alkotja meg. X jogszabályt az Y miniszter hozta következtetés X jogszabály nem törvény

PPKE JÁK Informatika17 Informatika LOGIKA – összetett állítások - kapcsolószavak Ha egy jogszabály törvény, akkor azt a parlament alkotja meg. X jogszabályt az Y miniszter hozta X jogszabály nem törvény

PPKE JÁK Informatika18 Informatika LOGIKA – függvények állítás - X fiú Ha X fiú – hamis akkor X nem fiú - igaz Ha X fiú – igaz akkor X nem fiú - hamis tagadás

PPKE JÁK Informatika19 Informatika LOGIKA – függvények negáció (tagadás, nem) jele ┐ A┐A┐A ih hi A állítás

PPKE JÁK Informatika20 Informatika LOGIKA – függvények konjunkció (és, metszet, szorzás) jele ∧ AB A∧BA∧B iii ihh hih hhh A, B állítások

PPKE JÁK Informatika21 Informatika LOGIKA – függvények diszjunkció (vagy, unió, összeadás) jele ∨ AB A∨BA∨B iii ihi hii hhh A, B állítások

PPKE JÁK Informatika22 Informatika LOGIKA – függvények konjunkció, diszjunkció kommutatív és asszociatív

PPKE JÁK Informatika23 Informatika LOGIKA – függvények harmadik kizárása A┐A┐A A∨┐AA∨┐A ihi hii A ∨ ┐A= i

PPKE JÁK Informatika24 Informatika LOGIKA – függvények ellentmondásmentesség A┐A┐A A∧┐AA∧┐A ihh hih A ∧ ┐A= h

PPKE JÁK Informatika25 Informatika LOGIKA – De Morgan azonosság AB┐A┐A┐B┐B A∨BA∨B┐(A ∨ B)┐A ∨ ┐B iihhihh ihhiihh... ┐(A ∨ B)=┐A ∧ ┐B

PPKE JÁK Informatika26 Informatika LOGIKA – függvények alkalmazása Élőben egy MsAcces adatbázison

PPKE JÁK Informatika27 Informatika COMPLEX JOGTÁR JÖVŐ ALKALOMMAL

PPKE JÁK Informatika28 Informatika Viszontlátásra!