A programhelyessébizonyítás logikai módszerei rezolúciós kalkulusok

QR kód

A programhelyessébizonyítás logikai módszerei rezolúciós kalkulusok

Elmentve itt :

Bibliográfiai részletek
Szerző:	Gáncs István
További közreműködők:	Tóth Péter (Témavezető)
Dokumentumtípus:	Szakdolgozat
Megjelent:	1981
Tárgyszavak:	Informatika
Online Access:	http://diploma.bibl.u-szeged.hu/4167

Hasonló tételek

Hilbert-típusú kalkulusok implementációja
Szerző: Harcsás Anita
Megjelent: (2012)

Gentzer - Kanger kalkulusok számítógépes megvelósítása
Szerző: Kelemen Zsuzsa
Megjelent: (1981)

Polarizációra érzékeny szuper-rezolúciós mikroszkópia
Szerző: Bíró Péter
Megjelent: (2018)

Logikai adatelemzés
Szerző: Farkas Mónika
Megjelent: (2007)

Logikai formulák
Szerző: Boros Béla
Megjelent: (1998)

Logikai formulák tanulása
Szerző: Palkovics Ferenc
Megjelent: (1997)

Logikai formulák átalakításai
Szerző: Kuklis Krisztián
Megjelent: (1999)

Logikai programok szeletelése
Szerző: Pere László
Megjelent: (2000)

Felismerhető nyelvek logikai jellemzése
Szerző: Danyi András
Megjelent: (1996)

Logikai programok statikus analízise
Szerző: Harmath László
Megjelent: (1996)

Logikai feladatgyűjtemény középiskolások számára
Szerző: Ott Andrea
Megjelent: (2001)

Egyes logikai formulák tanulása
Szerző: Szász Péter
Megjelent: (1994)

Logikai programok párhuzamos végrehajtása
Szerző: Tóth Márton
Megjelent: (1999)

A rezolúciós eljárás és bonyolultsága és bonyolultsága a nulladrendű logikában
Szerző: Mandic Blanka
Megjelent: (2023)

Aritmetikai és logikai kifejezések kiértékelése
Szerző: Róka Zsuzsanna
Megjelent: (1988)

Logikai formulák tanulása a Tiling algoritmussal
Szerző: Nemes László
Megjelent: (1992)

Többértékű logikai függvények optimalizálása fagráfok segítségével
Szerző: Péhl Katalin
Megjelent: (1989)

Programozási nyelvek szemantikájának megadása logikai úton
Szerző: Gombás Éva
Megjelent: (1979)

Logikai táblás játékok Palm OS operációsrendszerre
Szerző: Földi Róbert
Megjelent: (2007)

Logikai táblás játék készítése kézi számítógépre
Szerző: Somlai Judit
Megjelent: (2007)

Az Othello logikai játék számítógépes megvalósítása
Szerző: Hárai Tibor
Megjelent: (2001)

Logikai játék CLEAN funkcionális programozási nyelven
Szerző: Kállai Péter
Megjelent: (2001)

Logikai következtetések és azok kiterjesztése optimalizálással
Szerző: Szarvas György
Megjelent: (2001)

Az amőba logikai játék számítógépes megvalósítása
Szerző: Majer Péter
Megjelent: (1998)

Az AM-TRIS logikai játék elemzése
Szerző: Paulik Attila
Megjelent: (1998)

Segédprogram logikai függvények minimalizálásához és oktatásához
Szerző: Miklósi József
Megjelent: (2000)

Ötös malom logikai játék mobil eszközön
Szerző: Balog Szabolcs
Megjelent: (2011)

A logikai programozás és a PROLOG nyelv.
Szerző: Möslein Andrea
Megjelent: (1983)

Logikai ügyességi játék készítése OpenGL felhasználásával
Szerző: Jéga Zsolt
Megjelent: (2005)

Logisztikus regresszió vizsgálata folytonos logikai kifejezések felett
Szerző: Rostás Katalin
Megjelent: (2009)

3D logikai játék elkészítése Android rendszeren
Szerző: Sánta Zsolt
Megjelent: (2010)

3D logikai játék készítése Android rendszeren
Szerző: Sovány Pál
Megjelent: (2011)

A klaszter analízis hierarchikus módszerei
Szerző: Biborka Judit
Megjelent: (1983)

Cilindrikus algebrák egy matematikai-logikai és programozáselméleti alkalmazása
Szerző: Farkas Zsuzsanna
Megjelent: (1973)

A síkbeli Voronoi-diagramok előállításának módszerei
Szerző: Kalmár Zsolt Ferenc
Megjelent: (2002)

A Cluster analízis és gráfelméleti módszerei
Szerző: Gubán Miklós
Megjelent: (1980)

A SPOT játék – logikai játék megvalósítása Prolog programozási nyelven
Szerző: Nagy Gábor
Megjelent: (1998)

Refaktoring helyek keresése, azonosítása C++ forráskódban logikai programozás segítségével
Szerző: Koszorus Zoltán
Megjelent: (2006)

Programozási nyelvek szemantika megadási módszerei a gyakorlatban
Szerző: Virágh Tamás
Megjelent: (1978)

Többértékű logikai rendszerek matematikai, empirikus vizsgálata és kifejezések számítógépes kiértékelése
Szerző: Laczkó Mátyás
Megjelent: (1983)