書籍搜索
圖書
捐款
登錄
登錄
訪問更多功能
個人建議
電報機器人
下載歷史
發送到電子郵件或 Kindle
管理書單
保存到收藏夾
個人的
查詢書籍
探索
Z-推薦
書單
最受歡迎
類別
貢獻
捐款
上傳
Litera Library
捐贈紙質書籍
添加紙質書籍
Search paper books
我的 LITERA Point
術語搜索
Main
術語搜索
search
1
Logica, verzamelingen en relaties
Open Universiteit
J.S. Lodder
,
J.L.C. Arkenbout
ϕ
formule
formules
voorbeeld
opgave
algemeen
onwaar
propositielogica
leereenheid
vrij
logische
predikaatlogica
waarheidstabel
eigenschap
relaties
logisch
equivalentie
verzamelingen
geldig
implicatie
variabele
bijvoorbeeld
uitspraak
universiteit
conjunctie
definitie
waarheidstabellen
tautologie
gevolg
waardering
waarheidswaarden
geldt
vorm
eliminatie
bewijs
connectieven
gebruiken
distributiviteit
negatie
standaardequivalenties
wetten
variabelen
kwantor
propositieletters
bereik
bewijzen
equivalenties
haakjes
objecten
uitspraken
年:
2016
語言:
dutch
文件:
PDF, 1.84 MB
你的標籤:
0
/
4.0
dutch, 2016
2
Logica in actie [Lecture notes]
Open Universiteit Nederland
Johan van Benthem
,
Hans van Ditmarsch
,
Jan van Eijck
formule
ϕ
voorbeeld
formules
speler
situatie
propositielogica
onwaar
predikaatlogica
spel
logische
actie
bijvoorbeeld
aantal
informatie
namelijk
redeneren
volgt
waarheidstabel
bewijzen
spelers
objecten
modellen
waarbij
geldt
getallen
logisch
bewijs
kennis
waardering
connectieven
situaties
uitspraak
bewering
definitie
getal
strategie
verzameling
spelen
noemen
redenering
rwb
vorm
marie
stelling
complexiteit
gedrag
gevolg
waarde
systeem
年:
2009
語言:
dutch
文件:
PDF, 1.04 MB
你的標籤:
0
/
0
dutch, 2009
1
關注
此鏈接
或在 Telegram 上找到“@BotFather”機器人
2
發送 /newbot 命令
3
為您的聊天機器人指定一個名稱
4
為機器人選擇一個用戶名
5
從 BotFather 複製完整的最後一條消息並將其粘貼到此處
×
×