Informacja o cookies
Strona ksiegarnia.pwn.pl korzysta z plików cookies w celu dostarczenia Ci oferty jak najlepiej dopasowanej do Twoich oczekiwań i preferencji, jak również w celach marketingowych i analitycznych. Nasi partnerzy również mogą używać ciasteczek do profilowania i dopasowywania do Ciebie pokazywanych treści na naszych stronach oraz w reklamach. Poprzez kontynuowanie wizyty na naszej stronie wyrażasz zgodę na użycie tych ciasteczek. Więcej informacji, w tym o możliwości zmiany ustawień cookies, znajdziesz w naszej Polityce Prywatności.
MENU

Wprowadzenie do logiki formalnej(Miękka)

0.00  [ 0 ocen ]
 Sprawdź recenzje
Rozwiń szczegóły »
Produkt niedostępny
Zarezerwuj i odbierz w księgarni stacjonarnej PWN
Dodaj do schowka

Wprowadzenie do logiki formalnej

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. Różni się ono w pewnych punktach nie tylko od poglądów większości językoznawców, lecz także od rozwiązań preferowanych przez wielu logików. Różnice te sygnalizuje ona w odpowiednich miejscach tekstu, nie referuje jednak szczegółowo odmiennych stanowisk w poruszanych sprawach.

Mimo, iż semantyka rachunku kwantyfikatorów została wyrażona w terminach struktury, nie zaś w terminach modeli, stosunkowo często używa się tu podstawowych pojęć teorii zbiorów i relacji. Czytelnik nie znający tych pojęć teoriomnogościowych znajdzie ich wyjaśnienie w dołączonym na końcu Dodatku.

Nieodłączną częścią tego podręcznika są Ćwiczenia z logiki, zawierające wybór zadań, których samodzielne rozwiązywanie pozwoli czytelnikowi utrwalić znajomość przedstawionych tu zagadnień i rozwinąć umiejętność praktycznego korzystania z aparatu pojęciowego i metod logiki.

  • Sposób dostarczenia produktu fizycznego
    Sposoby i terminy dostawy:
    • Odbiór osobisty w księgarni PWN - dostawa do 3 dni robocze
    • InPost Paczkomaty 24/7 - dostawa 1 dzień roboczy
    • Kurier - dostawa do 2 dni roboczych
    • Poczta Polska (kurier pocztowy oraz odbiór osobisty w Punktach Poczta, Żabka, Orlen, Ruch) - dostawa do 2 dni roboczych
    • ORLEN Paczka - dostawa do 2 dni roboczych
    Ważne informacje o wysyłce:
    • Nie wysyłamy paczek poza granice Polski.
    • Dostawa do części Paczkomatów InPost oraz opcja odbioru osobistego w księgarniach PWN jest realizowana po uprzednim opłaceniu zamówienia kartą lub przelewem.
    • Całkowity czas oczekiwania na paczkę = termin wysyłki + dostawa wybranym przewoźnikiem.
    • Podane terminy dotyczą wyłącznie dni roboczych (od poniedziałku do piątku, z wyłączeniem dni wolnych od pracy).
NAZWA I FORMAT
OPIS
ROZMIAR

Barbara Stanosz

Urodzona w 1935 roku; logik. Od 1989 roku profesor Uniwersytetu Warszawskiego, od 1984 roku członek TNW. Zajmuje się logiką formalną, logiczną analizą języka i filozofią języka. Ważniejsze prace: Ćwiczenia z logiki (1970), Logiczne podstawy języka (współautorka, 1976), Wprowadzenie do logiki formalnej. Podręcznik dla humanistów (1984), 10 wykładów z filozofii języka (1991).

Przeczytaj fragment

Układy logiki programowalnej

Najważniejszą zaletą książki jest zwarte i kompleksowe przedstawienie podstawowych zagadnień związanych z syntezą układów cyfrowych dedykowaną dla różnych rodzin układów programowalnych i zobrazowanie ich za pomocą prostych, możliwych do prześledzen...

Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego

Rozwijający się rynek zastosowań systemów informatycznych powoduje wzrost zapotrzebowania na systemy, które powinny być rozwijane szybko, jak najmniejszym kosztem, przy zapewnieniu wysokiej jakości produktu końcowego. Choć wydaje się, iż ...

Wprowadzenie do logiki formalnej

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

Wprowadzenie do obliczeń równoległych

Rozwiązywanie współczesnych problemów naukowych i praktycznych wymaga stosowania komputerów o dużych szybkościach obliczeń, a zapotrzebowanie na coraz większą moc obliczeniową wzrasta. Modele badanych zjawisk i procesów są bowiem coraz bardziej złoż...

Wprowadzenie do matematyki finansowej

Książka jest poświęcona podstawowym metodom matematycznym, stosowanym we współczesnej teorii rynków finansowych, w szczególności optymalizacji portfela inwestycji oraz wycenie instrumentów pochodnych. Omówiono tu mode...

Wprowadzenie do analizy polityki zagranicznej Rzeczypospolitej Polskiej

W aneksie Kalendarium 1989–2014 opracowane przez Ryszarda Stemplowskiego i Rafała Tarnogórskiego Czytelnik tej książki może wiedzieć o polityce więcej, niż mu się wydaje, ale najpełniej rozumie ją zwykle analityk. Większość lud...

Zachwyt i logika czynu Portret intelektualny Tadeusza Tomaszewskiego

Portret człowieka, który przez dziesiątki lat kształtował umysły polskich psychologów, który pobudzał ich do twórczej aktywności badawczej i praktyki psychologicznej, z pewnością zasługuje na wnikliwą uwagę Czytelnikó...

Elementy logiki i teorii mnogości w zadaniach

Kolejne wznowienie dobrze znanego matematykom zbioru zadań z rozwiązaniami lub odpowiedziami. Pierwsze dziewięć rozdziałów zawiera zadania do wybranych zagadnień matematyki, stanowiących treść wstępnych wykładów dla studentów matematyki na uniwersyt...

Wprowadzenie do genologii

Maria Wojtak proponuje nową interpretację ram poznawczych polskiej genologii – postrzega ją jako otwartą przestrzeń badawczą, która jest formowana metodologicznie przez różne style myślowe. Porządkując tę przestrzeń, nie tylko docen...

Recenzje

Nikt nie dodał jeszcze recenzji. Bądź pierwszy!