Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
20.2% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи 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
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×