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Ó
Jogszabálytárak, jogi adatbázisok Groma Sarolt2 Jogszabálytárak, jogi adatbázisok SZÖVEGES ÁLLOMÁNYOK
Jogszabálytárak, jogi adatbázisok Groma Sarolt3 Jogszabálytárak, jogi adatbázisok SZÖVEGES ÁLLOMÁNYOK
Jogszabálytárak, jogi adatbázisok Groma Sarolt4 ADATBÁZIS-PÉLDÁK NEPTUN Complex Jogtár Telefonkönyv ….
Jogszabálytárak, jogi adatbázisok Groma Sarolt5 ADATBÁZIS Adatok „rendje”, adattípus Műveletek Keresés, szűrés, fókuszálás (indexelés) Azonosítás (kulcsok) Védelem, jogosultság Nyomkövetés Tranzakciókezelés
Jogszabálytárak, jogi adatbázisok Groma Sarolt6 LOGIKA Az igazi igen/nem világ
Jogszabálytárak, jogi adatbázisok Groma Sarolt7 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
Jogszabálytárak, jogi adatbázisok Groma Sarolt8 LOGIKA - állítások Tegnap Budapesten 15 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 ?
Jogszabálytárak, jogi adatbázisok Groma Sarolt9 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
Jogszabálytárak, jogi adatbázisok Groma Sarolt10 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
Jogszabálytárak, jogi adatbázisok Groma Sarolt11 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
Jogszabálytárak, jogi adatbázisok Groma Sarolt12 LOGIKA – függvények premisszák Sematizálható kapcsolatok séma (formalizálás) konklúzió
Jogszabálytárak, jogi adatbázisok Groma Sarolt13 LOGIKA – függvények negáció (tagadás, nem) jele ┐ A┐A┐A ih hi A állítás
Jogszabálytárak, jogi adatbázisok Groma Sarolt14 LOGIKA – függvények konjunkció (és, metszet, szorzás) jele ∧ AB A∧BA∧B iii ihh hih hhh A, B állítások
Jogszabálytárak, jogi adatbázisok Groma Sarolt15 LOGIKA – függvények diszjunkció (vagy, unió, összeadás) jele ∨ AB A∨BA∨B iii ihi hii hhh A, B állítások
Jogszabálytárak, jogi adatbázisok Groma Sarolt16 LOGIKA – függvények konjunkció, diszjunkció kommutatív és asszociatív
Jogszabálytárak, jogi adatbázisok Groma Sarolt17 LOGIKA – függvények harmadik kizárása A┐A┐A A∨┐AA∨┐A ihi hii A ∨ ┐A= i
Jogszabálytárak, jogi adatbázisok Groma Sarolt18 LOGIKA – függvények ellentmondásmentesség A┐A┐A A∧┐AA∧┐A ihh hih A ∧ ┐A= h
Jogszabálytárak, jogi adatbázisok Groma Sarolt19 LOGIKA – De Morgan azonosság AB┐A┐A┐B┐B A∨BA∨B┐(A ∨ B)┐A ∨ ┐B iihhihh ihhiihh... ┐(A ∨ B)=┐A ∧ ┐B
Jogszabálytárak, jogi adatbázisok Groma Sarolt20 LOGIKA – függvények alkalmazása Hamisból minden következik Tautológia – logikai okból igaz
Jogszabálytárak, jogi adatbázisok Groma Sarolt21 LOGIKA – függvények alkalmazása Élőben egy MsAcces adatbázison
Jogszabálytárak, jogi adatbázisok Groma Sarolt22 JOGI ADATBÁZIS-PÉLDÁINK NYÍLT WEBEN KERESZTÜL ELÉRHETŐ PPKE JÁKRÓL ELÉRHETŐ MEGVÁSÁROLANDÓ
Jogszabálytárak, jogi adatbázisok Groma Sarolt23 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
Jogszabálytárak, jogi adatbázisok Groma Sarolt24 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)
Jogszabálytárak, jogi adatbázisok Groma Sarolt25 COMPLEX JOGTÁR EISZ:
Jogszabálytárak, jogi adatbázisok Groma Sarolt26 HeinOnline:
Jogszabálytárak, jogi adatbázisok Groma Sarolt27 Wikipédia:
Jogszabálytárak, jogi adatbázisok Groma Sarolt28 Google
Jogszabálytárak, jogi adatbázisok Groma Sarolt29 További jó tanulást!