jogszabálytárak, jogi adatbázisok

Jogszabálytárak, jogi adatbázisok

23.04.21. Groma Sarolt 1


KODIFIKÁTOR SZAKJOGÁSZKÉPZÉS

2012. október 12. III. ELŐADÓ




SZÖVEGES ÁLLOMÁNYOK

http://lex.jak.ppke.hu/~groma/ascii.htm




SZÖVEGES ÁLLOMÁNYOK

https://lectio.jak.ppke.hu/cgi-bin/openwebmail/openwebmail.pl



ADATBÁZIS-PÉLDÁK

NEPTUN

Complex Jogtár

Telefonkönyv

….



ADATBÁZISAdatok „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



LOGIKA

Az igazi igen/nem világ



LOGIKA

Függvény:

Állítások igaz

hamis

igaz: I, igen, 1, True, fekete stb.

hamis: H, nem, 0, False, fehér

Logikai érték



LOGIKA - állítások

Tegnap Budapesten 15 C fölötti hőmérsékletet is mértek. IHolnap szép idő lesz. ?

A 18 prímszám. H

Ági a legszebb lány az évfolyamban. ?

Az ikerprímek száma végtelen ?



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



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



LOGIKA – függvények

állítás - X fiú

Ha X fiú – hamisakkor X nem fiú - igaz

Ha X fiú – igazakkor X nem fiú - hamis

tagadás




premisszák

Sematizálható kapcsolatok

séma (formalizálás)

konklúzió



LOGIKA – függvények negáció (tagadás, nem) jele ┐

A ┐A

i h

h i

A állítás



LOGIKA – függvények konjunkció (és, metszet, szorzás) jele ∧

A B A∧B

i i i

i h h

h i h

h h h

A, B állítások



LOGIKA – függvények diszjunkció (vagy, unió, összeadás) jele ∨

A B A∨B

i i i

i h i

h i i

h h h

A, B állítások



LOGIKA – függvények konjunkció, diszjunkció

kommutatív és asszociatív




harmadik kizárása

A ┐A A∨┐A

i h i

h i i

A ┐A∨ = i




ellentmondásmentesség

A ┐A A∧┐A

i h h

h i h

A∧┐A= h



LOGIKA – De Morgan azonosság

A B ┐A ┐B A∨B ┐(A∨B) ┐A ∨┐B

i i h h i h h

i h h i i h h

...

┐(A∨B)=┐A∧┐B



LOGIKA – függvények alkalmazása

Hamisból minden következik

Tautológia – logikai okból igaz



LOGIKA – függvények alkalmazása

Élőben egy MsAcces adatbázison



JOGI ADATBÁZIS-PÉLDÁINK

NYÍLT WEBEN KERESZTÜL ELÉRHETŐ

PPKE JÁKRÓL ELÉRHETŐ

MEGVÁSÁROLANDÓ



NYÍLT, WEBEN KERESZTÜL ELÉRHETŐ

EBSCO folyóirat adatbázisok

EISZ (Acta Juridica Hungarica)

Számtalan jogi fórum, törvénytár stb. jog.lap.hu

Nemzetközi anyagok http://eujog.lap.hu/

EU jogi adatbázisok http://eujog.lap.hu/jogi_adatbazisok_torvenytarak_kozlonyok/15846876



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) www.oxfordhandbooks.com

•Countries of the World www.oceanalaw.com

•Max Planck Encyclopedia of Public International Law (EPIL) www.mpepil.com



www.1000ev.hu

COMPLEX JOGTÁR

EISZ: www.eisz.hu/hu



HeinOnline:

http://heinonline.org



Wikipédia:

•http://wikipedia.org

•http://wikipedia.hu



Google

•www.google.com

•www.google.hu



További jó tanulást!

jogszabálytárak, jogi adatbázisok

Documents