MEDISCHE INFORMATICA
HOOFDSTUK 0: introductie tot basis begrippen zoals bits en bytes
0.1 medische informatie, wat is het nu wel of niet?
binnen medische wereld draait om algoritmes + hun formules en/of wiskundige eigenschappen om realisaties die met
hardware bereiken, om linguïstisch realisaties en hun applicaties
algoritme = machine vertellen hoe iets bepaald wordt OF wat de volgende stappen in proces zijn
0
wrm van belang ? indien algoritme rond procedure schrijven = proces ook geautomatiseerd worden
• semi-geautomatiseerd = verwacht nog interventie van 3de actor
• volledige automatisatie ≠ 3de actor vereisen
0.2 rekenen met bits en bytes
wereld van computers = binair telsysteem: grondtal = 2
werkelijke wereld = decimaal telsysteem: grondtal = 10
kleinste eenheid aan informatie in digitale wereld = 1 bit (=1b):
voorgesteld door 0 of 1
=> elke bit/ 1b aan informatie heeft slechts 2 mogelijke uitkomsten
1 byte = 8 bits aan informatie
=> uit combinatieleer: 8 opeenvolgende bits = 1 byte = 256
mogelijke uitkomsten = 2s mogelijkheden
in decimaal telsysteem = bij grootte-eenheden om iets af te korten
werkelijke computerwereld ≠ #1000 WEL 1024 WANT 210 = 1024
oefeningen:
• 64 b = 8 B
• 1024 MB = 1 GB
• 3 Gb = 3/8 GB
• 256 KB = 256 x 8 Kb = 2048 Kb/ 1024 = 2 Mb
0.3 concepten die je als toekomstige onderzoeker zou moeten kennen
Wet van Moore:
G. MOORE (=voormalige CEO van Intel) papier over jaarlijkse verdubbelen van
#transistoren op geïntegreerde chip
1975 stelde dat #transistoren +/- om de 2 jaar verdubbelt => over 20 jaar =
nieuwe grooteorde
=> computers = veel sneller OMDAT geheugen (RAM-) capaciteit toeneemt
RAM = Random Access Memorys
The intellectualitual paradigm en singularity:
singularity = opkomen van superintelligente (= intelligentie waar
0
die van machine hoger = dan die van menselijk individu)
AI = in staat zelf softwaresysteem ontwerpen intelligenter dan
zichzelf => resulterende AI in staat om nog intelligentere
softwaresysteem ontwerpen
= leiden tot explosie van intelligentie
singulariteitspincipe: technologische singulariteit binnen enkele decennia optreden
R. KURZWEIL 2005 voorspelt: binnen enkele decennia = rekenkracht gewone computers groter dan die van niet-
verbeterde menselijke brein => uit vrees voor robots in toekomst = strikte regels vaststellen voor AI-onderzoek
, HOOFDSTUK 1: logisch redeneren
1.1 propositielogica
0= nieuwe taal bestaande uit syntax (=opbouw zinnen) en semantiek (=betekenis zinnen)
• syntax = alfabet, formules en regels om formules correct op te stellen
• semantiek = waarheidswaarden van positie gekoppeld aan waarheidstabellen
bouwstenen:
hoofdbouwstenen = proposities: eigenschap = dat atomair zijn => ≠ verder analyseerbaar of opsplitsing
elke proposities (bewering) = toekenning van bepaald symbool kennen vb: ik ben ziek = z
propositie = bewering die ofwel waar ofwel onwaar NOOIT beide waarheidswaarden samen
laatste bouwsteen = zaken die logisch verband scheppen ltl 2 proposities = logische connectieven
• en “ ”
• of “ ”
• niet “ ”
• als…dan “ ” ! ≠ altijd 1ste lid de VW inhoudt en laatste de conclusie !
syntax - alfabet:
• verzameling propositieletters elk propositie voorstellen
• logische symbolen/ connectieven:
• set aan hulpsymbolen bestaande uit ( en ) om aan te geven waar formule begint en eindigt + hoe later geïnterpreteerd
syntax - formules en regels om formules op te stellen
propositieletters = atomaire formules of atomen = meest vereenvoudigde vorm van (samengestelde) formule
samengestelde formules = vaste uitspraak en naam
hulpsymbolen = gebruikt om duidelijkheid scheppen in zinsconstructie
als interpretatie uitvoeren = constructieboom helpen
semantiek - waarheidswaarde:
elke formule heeft waarheidswaarde ‘waar’ of ‘onwaar’
≠ enkel atomaire bouwstenen hebben betekenis OOK samengestelde formules
in propositielogica = waarheidswaarden respectievelijk voorstellen door 1 (waar) en 0 (onwaar)
indien spreken evaluatie/ interpretatie van formule MOETEN waarheidswaarden van atomen op zich kennen
waarheidswaarde van een formule volgt uit waarheidswaarden van de samenstellende delen door middel van
waarheidstabellen van de logische connectieven
semantiek - waarheidstabellen van de logische connectieven:
stap 1 = atomen bepalen en uitschrijven
stap 2 = nadenken hoeveel mogelijkheden zijn bij samengestelde
atomen
formules: #mogelijkheden = 2
stap 3 = bepalen van samengestelde formules
stap 4 = alle mogelijke combinaties opstellen in linkergedeelte
stap 5 = formules op te delen in kleinere delen voor interpretatie te
maken
HOOFDSTUK 0: introductie tot basis begrippen zoals bits en bytes
0.1 medische informatie, wat is het nu wel of niet?
binnen medische wereld draait om algoritmes + hun formules en/of wiskundige eigenschappen om realisaties die met
hardware bereiken, om linguïstisch realisaties en hun applicaties
algoritme = machine vertellen hoe iets bepaald wordt OF wat de volgende stappen in proces zijn
0
wrm van belang ? indien algoritme rond procedure schrijven = proces ook geautomatiseerd worden
• semi-geautomatiseerd = verwacht nog interventie van 3de actor
• volledige automatisatie ≠ 3de actor vereisen
0.2 rekenen met bits en bytes
wereld van computers = binair telsysteem: grondtal = 2
werkelijke wereld = decimaal telsysteem: grondtal = 10
kleinste eenheid aan informatie in digitale wereld = 1 bit (=1b):
voorgesteld door 0 of 1
=> elke bit/ 1b aan informatie heeft slechts 2 mogelijke uitkomsten
1 byte = 8 bits aan informatie
=> uit combinatieleer: 8 opeenvolgende bits = 1 byte = 256
mogelijke uitkomsten = 2s mogelijkheden
in decimaal telsysteem = bij grootte-eenheden om iets af te korten
werkelijke computerwereld ≠ #1000 WEL 1024 WANT 210 = 1024
oefeningen:
• 64 b = 8 B
• 1024 MB = 1 GB
• 3 Gb = 3/8 GB
• 256 KB = 256 x 8 Kb = 2048 Kb/ 1024 = 2 Mb
0.3 concepten die je als toekomstige onderzoeker zou moeten kennen
Wet van Moore:
G. MOORE (=voormalige CEO van Intel) papier over jaarlijkse verdubbelen van
#transistoren op geïntegreerde chip
1975 stelde dat #transistoren +/- om de 2 jaar verdubbelt => over 20 jaar =
nieuwe grooteorde
=> computers = veel sneller OMDAT geheugen (RAM-) capaciteit toeneemt
RAM = Random Access Memorys
The intellectualitual paradigm en singularity:
singularity = opkomen van superintelligente (= intelligentie waar
0
die van machine hoger = dan die van menselijk individu)
AI = in staat zelf softwaresysteem ontwerpen intelligenter dan
zichzelf => resulterende AI in staat om nog intelligentere
softwaresysteem ontwerpen
= leiden tot explosie van intelligentie
singulariteitspincipe: technologische singulariteit binnen enkele decennia optreden
R. KURZWEIL 2005 voorspelt: binnen enkele decennia = rekenkracht gewone computers groter dan die van niet-
verbeterde menselijke brein => uit vrees voor robots in toekomst = strikte regels vaststellen voor AI-onderzoek
, HOOFDSTUK 1: logisch redeneren
1.1 propositielogica
0= nieuwe taal bestaande uit syntax (=opbouw zinnen) en semantiek (=betekenis zinnen)
• syntax = alfabet, formules en regels om formules correct op te stellen
• semantiek = waarheidswaarden van positie gekoppeld aan waarheidstabellen
bouwstenen:
hoofdbouwstenen = proposities: eigenschap = dat atomair zijn => ≠ verder analyseerbaar of opsplitsing
elke proposities (bewering) = toekenning van bepaald symbool kennen vb: ik ben ziek = z
propositie = bewering die ofwel waar ofwel onwaar NOOIT beide waarheidswaarden samen
laatste bouwsteen = zaken die logisch verband scheppen ltl 2 proposities = logische connectieven
• en “ ”
• of “ ”
• niet “ ”
• als…dan “ ” ! ≠ altijd 1ste lid de VW inhoudt en laatste de conclusie !
syntax - alfabet:
• verzameling propositieletters elk propositie voorstellen
• logische symbolen/ connectieven:
• set aan hulpsymbolen bestaande uit ( en ) om aan te geven waar formule begint en eindigt + hoe later geïnterpreteerd
syntax - formules en regels om formules op te stellen
propositieletters = atomaire formules of atomen = meest vereenvoudigde vorm van (samengestelde) formule
samengestelde formules = vaste uitspraak en naam
hulpsymbolen = gebruikt om duidelijkheid scheppen in zinsconstructie
als interpretatie uitvoeren = constructieboom helpen
semantiek - waarheidswaarde:
elke formule heeft waarheidswaarde ‘waar’ of ‘onwaar’
≠ enkel atomaire bouwstenen hebben betekenis OOK samengestelde formules
in propositielogica = waarheidswaarden respectievelijk voorstellen door 1 (waar) en 0 (onwaar)
indien spreken evaluatie/ interpretatie van formule MOETEN waarheidswaarden van atomen op zich kennen
waarheidswaarde van een formule volgt uit waarheidswaarden van de samenstellende delen door middel van
waarheidstabellen van de logische connectieven
semantiek - waarheidstabellen van de logische connectieven:
stap 1 = atomen bepalen en uitschrijven
stap 2 = nadenken hoeveel mogelijkheden zijn bij samengestelde
atomen
formules: #mogelijkheden = 2
stap 3 = bepalen van samengestelde formules
stap 4 = alle mogelijke combinaties opstellen in linkergedeelte
stap 5 = formules op te delen in kleinere delen voor interpretatie te
maken
