募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
22.0% 达到
登录
登录
访问更多功能
个人推荐
Telegram自动程序
下载历史
发送到电子邮件或 Kindle
管理书单
保存到收藏夹
个人的
书籍请求
探索
Z-Recommend
书单
最受欢迎
种类
贡献
捐款
上载
Litera Library
捐赠纸质书籍
添加纸质书籍
Search paper books
创建 LITERA Point
搜索关键词
Main
搜索关键词
search
1
Logique pour l'informatique et pour l'intelligence artificielle
Hermes Science Publications
Ricardo Caferra
logique
clauses
intelligence
modèle
informatique
artificielle
fbf
formule
formules
théorème
exercice
logiques
clause
résolution
règle
raisonnement
ensembles
inférence
règles
interprétation
prouver
utilisant
modèles
symboles
variables
llo
conclusion
programme
suivant
dessous
prémisses
littéraux
sémantiques
tableaux
conséquence
contient
objets
valide
algorithme
axiomes
exemples
insatisfaisable
formel
systèmes
égalité
contradiction
prédicat
ceci
satisfaisable
univers
年:
2010
语言:
french
文件:
PDF, 6.21 MB
您的标签:
5.0
/
0
french, 2010
2
Logique pour l'informatique et pour l'intelligence artificielle
Hermes Science Publications
Ricardo Caferra
logique
clauses
intelligence
modèle
artificielle
fuf
formule
infonnatique
formules
théorème
logiques
résolution
clause
règle
raisonnement
l10
ensembles
inférence
règles
exercice
interprétation
utilisant
modèles
prouver
symboles
variables
conclusion
programme
dessous
suivant
prémisses
littéraux
sémantiques
tableaux
contient
conséquence
ematque
objets
valide
algorithme
axiomes
exemples
insatisfaisable
satisfaisable
égalité
contradiction
formel
prédicat
systèmes
ceci
年:
2010
语言:
french
文件:
DJVU, 3.41 MB
您的标签:
5.0
/
0
french, 2010
3
Logique : fondements et applications
Dunod
Pierre Le Barbenchon
,
Sophie Pinchinat
,
François Schwarzentruber
ϕ
formule
logique
formules
théorème
définition
l’ensemble
faux
proposition
propositionnelle
variables
démonstration
signature
structures
modèle
modèles
satisfaisable
valuation
clauses
symbole
montrer
valide
naturelle
déduction
clause
données
preuves
symboles
résolution
taille
fini
vraie
requête
exercice
graphe
règles
règle
substitution
propositionnelles
induction
élément
dn1
herbrand
skolem
compacité
finis
complétude
sinon
algorithme
éléments
年:
2022
语言:
french
文件:
PDF, 3.64 MB
您的标签:
0
/
5.0
french, 2022
4
Logique et démonstration automatique : Une introduction à la logique propositionnelle et à la logique du premier ordre
ELLIPSES
Stéphane Desvismes
,
Pascal Lafourcade
,
Michel Lévy
formule
formules
modèle
clauses
clause
supposons
l’ensemble
résolution
logique
puisque
variables
exercice
règle
signature
règles
d’après
déduction
propositionnelle
théorème
conséquence
récurrence
valide
symbole
littéral
l’environnement
naturelle
suivantes
montrons
prouver
substitution
herbrand
l’algorithme
θi
interprétation
pouvons
littéraux
normale
assignation
l’interprétation
preuves
obtenue
contient
copie
hypothèse
montrer
résolvant
symboles
quantificateur
lemme
élément
年:
2012
语言:
french
文件:
PDF, 943 KB
您的标签:
4.0
/
0
french, 2012
1
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×