Temat: algorithmic logic - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "algorithmic logic" wg kryterium: Temat

Wyświetlanie 1-10 z 14

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Mohr-Mascheroni as an axiomatizability statement
Autorzy:: Pambuccian, V.
Data publikacji:: 2001
Słowa kluczowe:: algorytm logiczny
algorithmic logic
quantifier-free axiomatization
Mohr-Mascheroni theorem; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: The set of PrAl+valid in a finite structure is undecidable
Zbiór formuł logiki PrAl+ prawdziwych w skończonej strukturze jest nierozstrzygalny
Autorzy:: Borowska, A.
Data publikacji:: 2013
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:: Probabilistic Algorithmic Logic
existential iteration quantiﬁer
probabilistyczna logika algorytmiczna
egzystencjalny kwantyﬁkator iteracji; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: The set of PrAl+valid in a finite structure is undecidable
Autorzy:: Borowska, A.
Data publikacji:: 2013
Słowa kluczowe:: Probabilistic Algorithmic Logic
existential iteration quantifier
probabilistyczna logika algorytmiczna
kwantyfikator egzystencjalny iteracji; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Logic of Algorithmic Knowledge
Autorzy:: Dariusz Surowik
Data publikacji:: 2015-09-01
Tematy:: time
algorithmic knowledge
epistemic logic
temporal logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach
Autorzy:: Pezlar Ivo
Data publikacji:: 2017-12-15
Tematy:: logic of problems
algorithmic semantics
procedural semantics
Constructive Type Theory
Transparent Intensional Logic; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Formalna analiza interpretowanych algorytmicznych maszyn stanów ASM z wykorzystaniem narzędzia model checker
Autorzy:: Grobelna, I.
Data publikacji:: 2008
Słowa kluczowe:: algorithmic state machines
temporal logic
formal verification
Model Checking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Nowy idealizm? : Le Corbusier, Alexander i architektura generatywna
Autorzy:: Słyk, J.
Data publikacji:: 2010
Słowa kluczowe:: architektura generatywna
logika formalna
teoria architektury
twórczość algorytmiczna
algorithmic design
formal logic
generative architecture
theory of architecture; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: The progress of science from a computational point of view: the drive towards ever higher solvability
Autorzy:: Marciszewski, Witold
Data publikacji:: 2019
Słowa kluczowe:: effective solvability
intuitive solvability
decidability
speed up
second-order logic
solvability
oracle
mathematical intuition
progress of science
algorithmic procedure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Synteza hierarchicznych struktur automatów mikroprogramowalnych
Autorzy:: Salauyou, V.
Bułatova, I.
Data publikacji:: 2012
Słowa kluczowe:: automat mikroprogramowalny
sieć działań
struktura hierarchiczna
programowalne układy logiczne
microprogram automaton
Algorithmic State Machine (ASM)
hierarchical structure
programmable logic devices (PLD); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Synteza hierarchicznych struktur automatów mikroprogramowalnych
Synthesis of hierarchical structures of microprogram automata
Autorzy:: Salauyou, V.
Bułatova, I.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: automat mikroprogramowalny
sieć działań
struktura hierarchiczna
programowalne układy logiczne
microprogram automaton
Algorithmic State Machine (ASM)
hierarchical structure
programmable logic devices (PLD); Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 14

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies