Ukryj filtry
Sortowanie
Źródło opisu
Katalog księgozbioru
(4)
Forma i typ
Książki
(4)
Dostępność
dostępne
(4)
tylko na miejscu
(3)
Placówka
Biblioteka Główna. Magazyny
(3)
Biblioteka Główna. Wypożyczalnie
(1)
Biblioteka Główna. Czytelnie
(3)
Autor
Ben-Ari Mordechai (1948- )
(1)
Miłkowska Mirosława
(1)
Rasiowa Helena (1917-1994)
(1)
Stanosz Barbara (1935- )
(1)
Łubnicki Narcyz (1904-1988)
(1)
Rok wydania
2000 - 2009
(3)
1960 - 1969
(1)
Kraj wydania
Polska
(4)
Język
polski
(4)
Temat
LOGIKA MATEMATYCZNA
(4)
JĘZYKOZNAWSTWO MATEMATYCZNE
(1)
LOGIKA
(1)
MATEMATYKA
(1)
SEMANTYKA
(1)
Gatunek
Podręcznik
(3)
PODRĘCZNIKI
(1)
Słowo kluczowe
logika matematyczna
(2)
informatyka
(1)
logika
(1)
matematyka
(1)
programowanie
(1)
4 wyniki Filtruj
Książka
W koszyku
Wprowadzenie do logiki formalnej : podręcznik dla humanistów / Barbara Stanosz. - Wyd. 8 rozsz. - Warszawa : Wydawnictwo Naukowe PWN, 2005. - 159, [1] s. : rys. ; 24 cm.
Gatunek
PODRĘCZNIKI
Indeks.
Podręcznik ten przeznaczony jest dla osób, które zamierzają przyswoić sobie podstawowe wiadomości z dziedziny logiki formalnej, a nadto dowiedzieć się, jaki wkład wnosi ta dyscyplina do współczesnej wiedzy o języku. Wykład zagadnień i metod logiki nie różni się tu istotnie od ujęć stosowanych w innych elementarnych podręcznikach. Sposób natomiast, w jaki przedstawiono związki między logiką formalną i językoznawstwem teoretycznym, a także rozwiązania niektórych problemów logicznych, z jakimi musi się uporać opis języka naturalnego, wyrażają stanowisko autorki w tych dyskusyjnych kwestiach.
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.
Biblioteka Główna. Magazyny
Są egzemplarze dostępne do wypożyczenia: sygn. P.4282 [Magazyn 1] (1 egz.)
Biblioteka Główna. Czytelnie
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 4786.II.1 [Czytelnia B] (1 egz.)
Książka
W koszyku
Zarys logiki : semantyka i logika formalna / Narcyz Łubnicki. - Lublin : Zakład Graficzny Politechniki Warszawskiej, 1964. - 130 s. ; 24 cm.
Gatunek
Podręcznik
Książka wychodzi naprzeciw oczekiwaniom studentów, aby temat logiki przedstawić w sposób przejrzysty i ułatwić im przyswojenie sobie podstawowych wiadomości z zakresu tego przedmiotu. Książka ma liczne zalety, wśród których na szczególną uwagę zasługuje bezpośredni, komunikatywny język wykładu, świadczący o kompetencji naukowej i dużym doświadczeniu dydaktycznym autorów.
dostępna w czytelni
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Biblioteka Główna. Czytelnie
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. P.4216.II.1 [Czytelnia B] (1 egz.)
Brak okładki
Książka
W koszyku
Logika matematyczna w informatyce / Mordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska. - Warszawa : Wydawnictwa Naukowo-Techniczne, 2005. - XIII, 343 s. : rys. ; 24 cm.
(Klasyka Informatyki)
Gatunek
Podręcznik
Słowo kluczowe: logika matematyczna programowanie rachunek zdań informatyka
Bibliogr. s. 333-335. Indeks.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Biblioteka Główna. Magazyny
Są egzemplarze dostępne do wypożyczenia: sygn. P.3444 [Magazyn 1], 4238 [Magazyn 2], P.3443 [Magazyn 1] (3 egz.)
Książka
W koszyku
Wstęp do matematyki współczesnej / Helena Rasiowa. - Wyd. 13. - Warszawa : Wydawnictwo Naukowe PWN, 2003. - 302 s. ; 24 cm.
(Biblioteka Matematyczna)
Gatunek
Podręcznik
Słowo kluczowe: matematyka logika logika matematyczna
Książka zawiera elementy logiki matematycznej, teorii mnogości i algebry abstrakcyjnej w zakresie zapewniającym czytelnikowi odpowiednie przygotowanie do studiowania matematyki. Publikacja jest przeznaczona przede wszystkim dla studentów matematyki. Będzie ona przydatna także studentom wydziałów przyrodniczych i technicznych różnych uczelni wyższych, a nawet humanistom pragnącym przygotować się do głębszych studiów matematycznych.
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 3 placówek. Rozwiń listę, by zobaczyć szczegóły.
Biblioteka Główna. Magazyny
Są egzemplarze dostępne do wypożyczenia: sygn. P.2533 [Magazyn 1], P.2532 [Magazyn 1] (2 egz.)
Biblioteka Główna. Wypożyczalnie
Są egzemplarze dostępne do wypożyczenia: sygn. 3758.XIV.1 [Wypożyczalnia C] (1 egz.)
Biblioteka Główna. Czytelnie
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 3757.XIV.1 [Czytelnia C] (1 egz.)
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