2014. 07. 20.PPKE JÁK Informatika1 Informatika INFORMATIKA ELŐADÁS 2013. október 10. I. ELŐADÓ.

Slides:



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

EBSCOhost iPhone/iTouch Application Közvetlen hozzáférés az EBSCOhost ® tartalmakhoz, iPhone, iPod Touch és iPad készülékekről Üdvözöljük az EBSCO oktatóprogramjában!
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
ZENEI ADATBÁZISOK. The Music Index Online A Music Index a zenei időszaki kiadványok legátfogóbb bibliográfiai és részben teljes szöveges adatbázisa több.
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
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Ó.
Az elektronikus aláírás
Statisztika, kutatásmódszertan I.
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.
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.
Eötvös Szabolcs Tamás Polyák Ádám Réthy Balázs Szeiler Beáta
ADATMODELLEZÉS ADATBÁZIS-KEZELÉS
Az informatika logikai alapjai
Adatbázis alapfogalmak
Az informatika logikai alapjai
Informatika - 1. alkalom Jogi informatika - alapok
PPKE JÁK Informatika1 Informatika INFORMATIKA ELŐADÁS október 16. I. ELŐADÓ.
Jogi informatika1 INFORMATIKA II. alkalom szeptember ELŐADÓ.
Műveletek, függvények és tulajdonságaik Mátrix struktúrák:
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ó
INFORMATIKA december 3. E1 előadó 2. alkalom
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.
INFORMATIKA október 6. Gyakorló alkalom – 2. rész
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
Előadás másolata:

PPKE JÁK Informatika1 Informatika INFORMATIKA ELŐADÁS október 10. 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 JOGI ADATBÁZIS-PÉLDÁINK NYÍLT WEBEN KERESZTÜL ELÉRHETŐ PPKE JÁKRÓL ELÉRHETŐ MEGVÁSÁROLANDÓ

PPKE JÁK Informatika28 Informat ika NYÍLT, WEBEN KERESZTÜL ELÉRHETŐ EBSCO folyóirat adatbázisok EISZEISZ (Acta Juridica Hungarica)Acta Juridica Hungarica Számtalan jogi fórum, törvénytár stb. jog.lap.hu jog.lap.hu Nemzetközi anyagok EU jogi adatbázisok

PPKE JÁK Informatika29 Informatika PPKE JÁKRÓL ELÉRHETŐ Westlaw - jogi adatbázis HeinOnline - jogi adatbázis OUP (Oxford University Press) október hónapban OXFORD HANDBOOKS ONLINE (Political Science and Philosophy) Countries of the World Max Planck Encyclopedia of Public International Law (EPIL)

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

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