keywords:"Lukasiewicz logic" - Výsledky hledání - Digitální repozitář

host :: přihlásit Digitální repozitář
		Hledej		Nový záznam		Nápověda		O repozitáři

Hlavní stránka > Výsledky hledání: keywords:"Lukasiewicz logic"

Hledej:

Tipy pro vyhledávaní :: Rozšířené hledání

Hledej ve sbírkách:

Seřadit podle:	Zobrazit výsledky:	Výstupní formát:

	Domněnkové funkce na formulích Lukasiewiczovy logiky Kroupa, Tomáš Domněnkové funkce jsou zavedeny a studovány na formulích Lukasiewiczovy logiky. Úplný záznam
	Importance and Uselessness of the McNaughton Theorem for Knowledge Extraction from Data Holeňa, Martin Úplný záznam
	Automatické dokazování ve fuzzy logikách Cintula, Petr ; Navara, M. Počítačová algebra dovoluje provádět řadu operací, které jsou považovány za složité: faktorizaci, integraci, symbolické řešení ODR, atd. Logické operace nejsou většinou implementovány, např. až verze 9 programu MAPLE obsahuje toolbox LOGIC. Mimo toolboxu pro fuzzy řízení, neexistuje žádné profesionální software na řešení problému fuzzy logiky. Zde sumarizujeme současnou situaci v počítačové podpoře pro řešení problému tautologičnosti ve fuzzy logikách. Úplný záznam
	Product Lukasiewicz Logic - An Overwiev Cintula, Petr ; Horčík, Rostislav Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.

Digitální repozitář :: :: :: ::
Powered by v1.1.2
Spravuje

Tato stránka je dostupná také v následujících jazycích:
Česky English