Jogszabálytárak, jogi adatbázisok 2014. 07. 29.Groma Sarolt1 Jogszabálytárak, jogi adatbázisok KODIFIKÁTOR SZAKJOGÁSZKÉPZÉS 2012. október 12. III. ELŐADÓ.

Slides:



Advertisements
Hasonló előadás
Online könyvajánlás Hogyan tájékozódhatunk a gyermekkönyvek világában?
Advertisements

Átváltás decimális számrendszerből bináris számrendszerbe.
Készítette: Kunkli Zsóka Balásházy MGSZKI Debrecen,
A matematikai logika alapfogalmai
Az Educatio digitális tartalomszolgáltatási projektjei XIX. Budapesti Nemzetközi Könyvfesztivál április Markója Szilárd EISZ Iroda és könyvtárvezető.
Kvantum számítógépek és hálózatok
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.
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.
Gyűrűk Definíció. Az (R, +, ·) algebrai struktúra gyűrű, ha + és · R-en binér műveletek, valamint I. (R, +) Abel-csoport, II. (R, ·) félcsoport, és III.
Turbo Pascal Változók.
Logika Érettségi követelmények:
Logikai műveletek
Általános lélektan IV. 1. Nyelv és Gondolkodás.
Bevezetés a digitális technikába
Bizonyítási stratégiák
Tájékozódást segítő eszközök a könyvtárban; katalógusok és adatbázisok
Fejezetek a matematikából
PPKE JÁK Informatika1 Informatika INFORMATIKA ELŐADÁS október 10. I. ELŐADÓ.
Bevezetés a matematikába I
Halmazelmélet és matematikai logika
2009. április 24.XVI.Budapesti Nemzetközi Könyvfesztivál Kereslet és kínálat e-book témában Moldován István OSZK.
Boole-algebra (formális logika).
A számítógép működésének alapjai
Logika 2. Klasszikus logika Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék február 17.
Logika 4. Logikai összefüggések Miskolci Egyetem Állam- és Jogtudományi Kar Jogelméleti és Jogszociológiai Tanszék március 3.
Logikai műveletek.
Irodalomkutatási lehetőségek az osteoporosis területén Dr. Bácsi Krisztián PhD hallgató I. sz. Belgyógyászati Klinika
Ekvivalenciák nyitott mondatok között Két nyitott mondatot ekvivalensnek mondunk, hha tetszőleges világban ugyanazok az objektumok teszik őket igazzá.
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)
„Házasodj meg, meg fogod bánni; ne házasodj meg, azt is meg fogod bánni; házasodj vagy ne házasodj, mindkettőt meg fogod bánni; vagy megházasodsz, vagy.
A kondicionális törvényei
Logika szeminárium Előadó: Máté András docens Demonstrátorok:
A logika centrális fogalmai a kijelentéslogikában Propositional logic Nulladrendű logika Általában Logikai igazság Logikai ekvivalencia Logikai következmény.
(nyelv-családhoz képest!!!
GE Consumer Finance – Budapest Bank Knowledge Center – Tudásközpont Missziónk: az információval és a tudással a kollégák kompetenciáját növelni és az üzleti.
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Ó.
Informatika - 2. rész október 18. C épület E5 előadó
Logika szeminárium Előadó: Máté András docens Demonstrátorok:
Ekvivalenciák nyitott mondatok között Két nyitott mondatot ekvivalensnek mondunk, hha tetszőleges világban ugyanazok az objektumok teszik őket igazzá.
Az informatika logikai alapjai
HÁLÓZATTÍPUSOK központosított decentralizált elosztott
BIOLÓGUS INFORMATIKA 2008 – 2009 (1. évfolyam/1.félév) 3. Előadás.
Illés Zoltán ELTE Informatikai Kar
INFORMATIKA ELŐADÁS november 6. E1 ELŐADÓ Informatika
Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék R „Big Data” elemzési módszerek Kocsis Imre
INFORMATIKA ELŐADÁS október 15. I. ELŐADÓ Informatika
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.
Analitikus fák kondicionálissal
Analitikus fák a kijelentéslogikában
INFORMATIKA december 3. E1 előadó 2. alkalom
Fordítás (formalizálás, interpretáció)
A házi feladatokhoz: 1.5: Azonosság Jelölések a feladatszám alatt:
Programozás C# -ban Elágazások.
Érvelések (helyességének) cáfolata
INFORMATIKA ELŐADÁS október 27. E1 ELŐADÓ Informatika
INFORMATIKA ELŐADÁS október 19. I. ELŐADÓ Informatika
2018. március 3. B épület E1 előadó
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ó
A piros sál a leghosszabb.
Előadás másolata:

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!