Informatika és tudomány

  • juzosch
    #501
    De a témakörtől elrugaszkodtunk, mivel egy program működőképességének bizonyítása kb olyan, mintha azt akarnánk bizonyítani, hogy a térugrás során minimális károsodást sem szenved a szervezetünk. Csakhogy még nemhogy térugrani nem tudunk, még azt sem tudjuk lehet-e.
    Ennél a párhuzamnál maradva kb ott tartunk, mint a számtechben 50+ éve, az AND/OR kapuk, félvezetők működésének elvét boncolgatjuk. Na ott még volt mit bizonygatni. Onnantól hogy az alapok megvannak, már csak az a cél, hogy minél több úgy ahogy működő programot csináljunk.