Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM039429
Első szerző:Herendi Tamás (matematikus, informatikus)
Cím:Density of tautologies in logics with one variable / László Aszalós, Tamás Herendi
Dátum:2012
Megjegyzések:In the present paper we estimate the ratio of the number of tautologies and the number of formulae of length n by determining the asymptotic density of tautologies in different kinds of logics with one variable. The logics under consideration are the ones with a single connective (nand or nor); negation with a connective (disjunction or conjunction); and several connectives.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény hazai lapban
tautology
density
generating function
Megjelenés:Acta Cybernetica. - 20 : 3 (2012), p. 385-398. -
További szerzők:Aszalós László (1969-) (matematikus)
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.