Výsledky vyhledávání - "matematická logika"

Související termíny:

algebraická logika, formální logika, Gödelovy věty, Peanova aritmetika, fuzzy logika, kauzalita, kvantová logika, teorie modelů, vícehodnotová logika, logika

1

Obálka

Strojové odvozování a dokazování

Autor Hrůzová, Marie
Vydáno 1966

Témata: '; “...matematická logika...”

VŠ práce nebo rukopis

2

Obálka

Logic for mathematics and computer science /

Autor Burris, Stanley N.
Vydáno 1998

Témata: '; “...matematická logika...”

Kniha

3

Obálka

Logic for problem solving /

Autor Kowalski, Robert, 1941-
Vydáno 1979

Témata: '; “...matematická logika...”

Kniha

4

Obálka

Logic in computer science : modelling and reasoning about systems /

Autor Huth, Michael, 1962-, Ryan, Mark, 1955-
Vydáno 2000

Témata: '; “...matematická logika...”

Kniha

5

Obálka

Logic, language and computation. Vol. 3 /

Vydáno 2000

Témata: '; “...matematická logika...”

Kniha

6

Obálka

Logic of computation /

Vydáno 1997

Témata: '; “...matematická logika...”

Kniha

7

Obálka

The logic of epistemology and the epistemology of logic : selected essays /

Autor Hintikka, Jaakko, 1929-, Hintikka, Merrill B., 1939-
Vydáno 1989

Témata: '; “...matematická logika...”

Kniha

8

Obálka

The logic of partial information /

Autor Nait Abdallah, Areski
Vydáno 1995

Témata: '; “...matematická logika...”

Kniha

9

Obálka

Logic of programming and calculi of discrete design /

Vydáno 1987

Témata: '; “...matematická logika...”

Kniha

10

Obálka

The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution /

Autor Carpenter, Bob.
Vydáno 1992

Témata: '; “...matematická logika...”

Kniha

11

Obálka

Logic Programming /

Vydáno 1982

Témata: '; “...matematická logika...”

Kniha

12

Obálka

Logic : mathematics, language, computer science and philosophy. Vol. 2, Logic and computer science /

Autor Swart, H. C. M. de 1944-
Vydáno 1994

Témata: '; “...matematická logika...”

Kniha

13

Obálka

Logic from computer science : proceedings of a workshop held November 13-17, 1989 /

Vydáno 1991

Témata: '; “...matematická logika...”

Kniha

14

Obálka

A proof theory for general unification /

Autor Snyder, Wayne
Vydáno 1991

Témata: '; “...matematická logika...”

Kniha

15

Obálka

Handbook of logic in computer science. Vol. 1, Background: mathematical structures /

Vydáno 1992

Témata: '; “...matematická logika...”

Kniha

16

Obálka

Úvod do Booleovy algebry a navrhování logických obvodů /

Autor Hoernes, G. E., Heilweil, M. F.
Vydáno 1969

Témata: '; “...matematická logika...”
Elektronická verze přístupná pouze pro studenty a pracovníky MU

Kniha

17

Obálka

Rezoluční princip

Autor Kratochvílová, Jana
Vydáno 1977

Témata: '; “...matematická logika...”

VŠ práce nebo rukopis

18

Obálka

Využití rezolučního principu ve strojovém dokazování

Autor Šrámková, Lubomíra
Vydáno 1977

Témata: '; “...matematická logika...”

VŠ práce nebo rukopis

19

Obálka

Instantiation theory : on the foundations of automated deduction /

Autor Williams, J. G.
Vydáno 1991

Témata: '; “...matematická logika...”

Kniha

20

Obálka

Computation and reasoning : a type theory for computer science /

Autor Luo, Zhaohui
Vydáno 1994

Témata: '; “...matematická logika...”

Kniha