Wszystkie pola: algorithmic logic

Skocz do pozycji: 1.

Tytuł:: An introduction to algorithmic logic. Metamathematical investigations in the theory of programs
Autorzy:: Banachowski, L.
Kreczmar, A.
Mirkowska, G.
Rasiowa, Helena
Sławicki, A.
Data publikacji:: 1977
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Algorithmic Logic + SpecVer = The Methodology for High Integrity Programming - Invited Paper
Autorzy:: Mirkowska, G.
Salwicki, A.
Świda, O.
Data publikacji:: 2008
Słowa kluczowe:: verification of algorithms
specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

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: 4.

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: 5.

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: 6.

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: 7.

Tytuł:: Algorytmiczne podejście do projektowania logiki zależnościowej w systemach sterowania ruchem kolejowym
Autorzy:: Kawalec, P.
Rżysko, M.
Data publikacji:: 2014
Słowa kluczowe:: algorytmy
SRK
systemy zależnościowe
algorithms
interlocking
railway traffic control; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Algorytmiczne podejście do projektowania logiki zależnościowej w systemach sterowania ruchem kolejowym
The algorithmic approach to railway interlocking logic design
Autorzy:: Kawalec, P.
Rżysko, M.
Data publikacji:: 2014
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: algorytmy
srk
systemy zależnościowe
algorithms
interlocking
railway traffic control; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

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: 10.

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: 11.

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: 12.

Tytuł:: Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
Autorzy:: Grobelna, I.
Data publikacji:: 2009
Słowa kluczowe:: algorytmiczna maszyna stanów
ASM
logika temporalna
technika Model Checking
algorithmic state machines ASM
temporal logic
formal verification of specification
Model Checking technique; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Design of pseudo-equivalent microprogram automata on programmable logic devices
Autorzy:: Bułatowa, I.
Radziwoniuk, M.
Data publikacji:: 2011
Słowa kluczowe:: automat mikroprogramowalny
automat pseudoekwiwalentny
programowalne układy logiczne
sieć działań
dodatkowe stany wewnętrzne
microprogram automaton
algorithmic state machine
pseudoequivalent automaton
additional internal states
programmable logic devices; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

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: 15.

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: 16.

Tytuł:: Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
Formal verification of a state machine with use of temporal logic
Autorzy:: Grobelna, I.
Data publikacji:: 2009
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: algorytmiczne maszyny stanów ASM
logika temporalna
technika Model Checking
algorithmic state machines ASM
temporal logic
formal verification of specification
Model Checking technique; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: On Algorithmic Properties of Propositional Inconsistency-Adaptive Logics
Autorzy:: Sergei P. Odintsov
Stanislav O. Speranski
Data publikacji:: 2012-09-01
Tematy:: Inconsistency-adaptive logics
non-monotonic logic
dynamic reasoning
reliability strategy
minimal abnormality strategy
computational complexity
expressiveness; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Design of pseudo-equivalent microprogram automata on programmable logic devices
Projektowanie pseudoekwiwalentnych automatów mikroprogramowalnych na układach PLD
Autorzy:: Bułatowa, I.
Radziwoniuk, M.
Data publikacji:: 2011
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:: automat mikroprogramowalny
automat pseudoekwiwalentny
programowalne układy logiczne
sieć działań
dodatkowe stany wewnętrzne
microprogram automaton
algorithmic state machine
pseudoequivalent automaton
additional internal states
programmable logic devices; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

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

Skocz do pozycji: 20.

Tytuł:: Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions
Autorzy:: Conradie, W.
Goranko, V.
Vakarelov, D.
Data publikacji:: 2009
Słowa kluczowe:: SQEMA
correspondence
d-persistence
complex Sahlqvist formulae; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "algorithmic logic" wg kryterium: Wszystkie pola