SOWA OPAC : Katalog Biblioteki PANS w Jarosławiu

24 wyniki

Brak okładki

Książka

W koszyku

oceń

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;

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

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

Brak okładki

Książka

W koszyku

oceń

Autor

Szymanek Krzysztof (1962- )

Forma i typ

Książki

Temat

Język polski Logika Terminologia

Gatunek

Podręczniki akademickie Słownik języka polskiego Słownik terminologiczny

Dziedzina i ujęcie

Filozofia i etyka

Indeks ISBN: 978-83-01-14289-6

Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.

Wypożyczalnia

Są egzemplarze dostępne do wypożyczenia: sygn. 67601 (1 egz.)

Informacja Naukowa - Wolny dostęp

Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 67600 inf. (1 egz.)