40360
Brak okładki
Książka
W koszyku
Wybrane zagadnienia z teorii rekursji / Małgorzata Moczurad. - Kraków : Wydawnictwo Uniwersytetu Jagiellońskiego, 2002. - 114 s. ; 24 cm.
Autor
Moczurad Małgorzata.
Temat
Teoria rekursywności Rachunek lambda Rozstrzygalność (logika matematyczna) Maszyny Turinga
Instytut
IS
Indeks ISBN
83-233-1603-1
1. Wstęp; 2. Elementy teorii rekursji; 3. Maszyny Turinga i problemy rozstrzygalne;4. Prosty rachunek lambda bez typów;
zob. w.bibliotece.pl
Status dostępności:
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 18392, 18393 (2 egz.)
Czytelnia - Magazyn
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 18391/XXI czyt. (1 egz.)
Strefa uwag:
Uwaga dotycząca bibliografii
Bibliogr. 109-110 s.
Recenzje:
Potwierdź wykonanie raportu
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
lokalizacja
streszczenia
numer ISBN
hasło sortowania
adres wersji elektronicznej
rozmieszczenie egzemplarzy
opis fizyczny
Sortowanie zestawienia:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej