Temat: first-order logic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Knowledge and reasoning in design systems
Autorzy:: Grabska, Ewa
Ślusarczyk, Grażyna
Data publikacji:: 2011
Słowa kluczowe:: hypergraph
visual language
first-order logic
design diagram
knowledge-based reasoning; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Gęstość tautologii w języku pierwszego rzędu z jednym predykatem binarnym.
On the density of tautologies in the first order language with one binary predicate.
Autorzy:: Wójcik, Piotr
Słowa kluczowe:: logika pierwszego rzędu, badania ilościowe w logice
first order logic, quantitative methods in logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Visual language and graph-based structures in conceptual design
Autorzy:: Ślusarczyk, Grażyna
Data publikacji:: 2012
Słowa kluczowe:: knowledge-based reasoning
visual language
design diagram
hypergraph
first-order logic; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: An ontology based approach for assisting conceptualisation in CAD processes
Autorzy:: Grabska, Ewa
Data publikacji:: 2014
Wydawca:: SCITEPRESS - Science and Technology Publications
Słowa kluczowe:: design requirement
diagram
many-sorted first-order logic
visual design
design knowledge; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Design supported by many-sorted first-order logic constraints with aggregate operators
Autorzy:: Palacz, Wojciech
Data publikacji:: 2017
Słowa kluczowe:: design support system
constraints
many-sorted first-order logic
design requirements
aggregate functions; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: New visual languages supporting design of multi-storey buildings
Autorzy:: Łachwa, Andrzej
Grabska, Ewa
Ślusarczyk, Grażyna
Data publikacji:: 2012
Słowa kluczowe:: visual language
first-order logic
hierachical hypergraph
knowledge-based reasoning
knowledge-based design; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Engineering design supported by many-sorted first-order logic-based reasoning
Autorzy:: Palacz, Wojciech
Gajek, Szymon
Grabska, Ewa
Ślusarczyk, Grażyna
Data publikacji:: 2015
Słowa kluczowe:: design support system
many-sorted first-order logic
design requirements
knowledge-based reasoning
hierarchical hypergraphs; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Mathematical logic : exercises and solutions
Autorzy:: Csirmaz, Laszlo
Gyenis, Zalán
Data publikacji:: 2022
Wydawca:: Springer
Słowa kluczowe:: mathematical logic
predicate calculus
first-order logic
propositional calculus
Gödel’s theorems
recursion theory
problem solving
formal logic
ultraproducts
Peano axiom system; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Teoria zbiorów dziedzicznie skończonych jako przykład zastosowania języka logiki pierwszego rzędu
The theory of hereditarily finite sets as an example of an application of the first order logic language
Autorzy:: Czubin, Adrianna
Słowa kluczowe:: logika matematyczna, logika pierwszego rzędu, aksjomaty, dowód formalny, zbiory dziedzicznie skończone, aksjomaty teorii mnogości
mathematical logic, first order logic, axioms, formal proof, hereditarily finite sets, set theory axioms; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Logika praktyczna z elementami wiedzy o manipulacji
Practical logic with elements of knowledge of psycho-manipulation
Autorzy:: Łukowski, Piotr
Data publikacji:: 2022
Słowa kluczowe:: logika
functor
persuasion
non-monotonicity
lie
funktor
content logic
kłamstwo
unreliable reasoning
nazwa
akt mowy
logika treści
sentence
klasyczny rachunek kwantyfikatorów
psycho-manipulation
logic
classical propositional calculus
proposition
klasyczny rachunek zdań
perswazja
speech act
manipulacja
operator
logicality
niemonotoniczność
rozumowania potoczne
first-order logic
logiczność
zdanie; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę "first-order logic" wg kryterium: Temat