Wyszukiwanie zaawansowane ?

Obiekt

Pobierz

Tytuł: Automated realization of Boolean algebra theorems in the simplification of logical expressions

Autor:

Szajna, Janusz

Data wydania:

1993

Typ zasobu:

artykuł

Współtwórca:

Caban, Dariusz - red.

Tytuł publikacji grupowej:

AMCS, volume 3 (1993)

Abstract:

This paper presents an approach to the automation of symbolic transformation and simplification of complex logical expressions. The transformation is performed with the aid of Prolog - one of the two programming languages being used for artificial intelligence. Due to the declarative nature of Prolog the specification of a particular theorem together with its variations becomes its realization at the same time. Moreover, each predicate is a direct reflection of a heuristic way of the expressions transformations, written in Prolog convention.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Identyfikator zasobu:

oai:zbc.uz.zgora.pl:57299

Strony:

383-392

Źródło:

AMCS, volume 3, number 2 (1993) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego

Temat i słowa kluczowe:

sterowanie sterowanie-teoria sztuczna inteligencja matematyka stosowana informatyka

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

2021-09-01

Data dodania obiektu:

2020-07-07

Liczba wyświetleń treści obiektu:

85

Wszystkie dostępne wersje tego obiektu:

https://zbc.uz.zgora.pl/publication/63833

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

Nazwa wydania Data
Automated realization of Boolean algebra theorems in the simplification of logical expressions 2021-09-01

Obiekty

Podobne
AMCS, Volume 15 (2005)
AMCS, Volume 15 (2005)

International Journal of Applied Mathematics and Computer Science (AMCS), volume 15, number 4 (2005) - spis treści

Beliczyński, Bartłomiej - red.

2005
artykuł
AMCS, volume 7 (1997)
AMCS, volume 7 (1997)

The diameter of the reachability set for a 2-D continuous-discrete linear system with disturbances

Krasoń, Ewa Kaczorek, Tadeusz - ed.

1997
artykuł
AMCS, volume 7 (1997)
AMCS, volume 7 (1997)

On 2-D polynomials and discrete-continuous systems

Trzaska, Zdzisław W. Kaczorek, Tadeusz - ed.

1997
artykuł
AMCS, volume 7 (1997)
AMCS, volume 7 (1997)

nD control systems in a practical sense

Xu, Li Saito, Osami Abe, Kenichi Kaczorek, Tadeusz - ed.

1997
artykuł
AMCS, volume 8 (1998)
AMCS, volume 8 (1998)

A polar coordinate based sliding mode design for vibration control

Young, K. David Yu, Xinghuo - red.

1998
artykuł
AMCS, volume 8 (1998)
AMCS, volume 8 (1998)

Sliding mode control with directly learned feedforward compensation

Xu, Jian-Xin Song, Yanbin Yu, Xinghuo - red.

1998
artykuł
AMCS, volume 8 (1998)
AMCS, volume 8 (1998)

The use of sliding modes to simplify the backstepping control method

Stotsky, Alexander A. Hedrick, J. Karl Yip, P.P. Yu, Xinghuo - red.

1998
artykuł
AMCS, volume 8 (1998)
AMCS, volume 8 (1998)

Evaluation of discrete-time VSC on an inverted pendulum apparatus with additional dynamics

Hara, Masaaki Furuta, Katsuhisa Pan, Yaodong Hoshino, Tasuku Yu, Xinghuo - red.

1998
artykuł
Więcej

Dane kontaktowe

Adres

Biblioteka Uniwersytetu
Zielonogórskiego
al. Wojska Polskiego 71
65-762 Zielona Góra

Telefon

(+48) 68 328 21 55

E-Mail

kontakt@zbc.uz.zgora.pl

Wojewódzka i Miejska Biblioteka Publiczna
im. C. Norwida w Zielonej Górze
al. Wojska Polskiego 9
65-077 Zielona Góra

(+48) 68 453 26 06

p.karp@biblioteka.zgora.pl

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji