你可能感興趣的試題

單項(xiàng)選擇題

在公式中yxP（x，y），存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個(gè)y值映射到存在的那個(gè)x。這種函數(shù)叫做（）

A、依賴函數(shù)
B、Skolem函數(shù)
C、決定函數(shù)
D、多元函數(shù)

單項(xiàng)選擇題

關(guān)于“與/或”圖表示法的敘述中，正確的是（）

A、“與/或”圖就是用“AND”和“OR”連續(xù)各個(gè)部分的圖形，用來描述各部分的因果關(guān)系
B、“與/或”圖就是用“AND”和“OR”連續(xù)各個(gè)部分的圖形，用來描述各部分之間的不確定關(guān)系
C、“與/或”圖就是用“與”節(jié)點(diǎn)和“或”節(jié)點(diǎn)組合起來的樹形圖，用來描述某類問題的層次關(guān)系
D、“與/或”圖就是用“與”節(jié)點(diǎn)和“或”節(jié)點(diǎn)組合起來的樹形圖，用來描述某類問題的求解過程

A（AB）A稱為（）

你可能感興趣的試題

在公式中yxP（x，y），存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個(gè)y值映射到存在的那個(gè)x。這種函數(shù)叫做（）

關(guān)于“與/或”圖表示法的敘述中，正確的是（）

在公式中yxP（x，y），存在量詞是在全稱量詞的轄域內(nèi)，我們允許所存在的x可能依賴于y值。令這種依賴關(guān)系明顯地由函數(shù)所定義，它把每個(gè)y值映射到存在的那個(gè)x。這種函數(shù)叫做（）