Logiczne podstawy gramatyk kategorialnych Ajdukiewicza

Produkt: Logiczne podstawy gramatyk kategorialnych Ajdukiewicza Lambeka W. Buszkowski
Producent:
Kategoria: Językoznawstwo, polonistyka

Sklep: antykwariatmole.abc24.pl

Cena brutto: 28,62 zł

Opis: PWN 1989, str 272, stan bdb- (lekko podniszczona okładka)
Książka przedstawia aparat pojęciowy i najważniejsze zagadnienia teorii gramatyk kategorialnych, zwracając szczególną uwagę na formalnologiczne podstawy tej dyscypliny. Uwzględnione są tu ujęcia klasyczne, wywodzące się z tradycji polskiej szkoły logicznej, jak również ich współczesne kontynuacje, zapoczątkowane pracami J. Lambeka, R. Montague i innych.
Tematyka książki powinna zainteresować logików, językoznawców oraz informatyków.

Przedmowa
0. Wstęp i preliminaria
0.1. Gramatyka kategorialna
A. Zródla i rozwój
B. Podstawowe intuicje
C. Znaczenie
0.2. Przegląd treści książki
0.3. Preliminaria matematyczne
0.4. Preliminaria lingwistyczne
1. Gramatyki Leśniewskiego-Ajdukiewicza-Bar-Hillela
1.1. Struktury i języki funktorowe
1.2. Typy, typizacje, gramatyki
A. Typy i typizacje
B. Klasyczne gramatyki kategorialne
C. Niektóre własności gramatyk
1.3. Języki typizowalne
A. Typizowalność i typizowalność skończona
B. Typizowalność jednoznaczna
1.4. Zagadnienia rozstrzygalności
A. Algebra typów
B. Problemy równoważności
C. Algorytm wyznaczania gramatyki jednoznacznej
1.5. Rachunek Ajdukiewicza
1.6. Gramatyka uniwersalna
2. Rachunek i gramatyki Lambeka
2.1. Semantyka algebraiczna i rachunek Lambeka
A. Modele Lambeka
B. Rachunek Lambeka
C. Warianty rachunku Lambeka
D. Ograniczone modele Lambeka
2.2. Inne aksjomatyki rachunku Lambeka
A. Postać sekwencyjna
B. Postacie liniowe
C. Rachunek Lambeka a skończone rachunki kategorialne
2.3. Gramatyki kategorialne a modele Lambeka
A. Ogólne pojęcie gramatyki kategorialnej
B. Gramatyki poprawne
C. Zupełność gramatyk
2.4. Języki generowane przez gramatyki Lambeka
A. Słaba zdolność generatywna gramatyk Lambeka
B. Zdolność generatywna rozszerzonych gramatyk Lambeka
C. O mocnej zdolności generatywnej
2.5. Uniwersalny rachunek Lambeka
3. Semantyka kategorialna
3.1. Ontologia i semantyka kategorialna
A. Modele fregowskie i modele kategorialne
B. Modele kategorialne języków elementarnych
C. O semantyce kategorialnej języka naturalnego
D. Semantyczne równoważniki typizowalności
3.2. Transformacje kategorii ontologicznych
A. Typizowane lambda-termy
B. Twierdzenie van Benthema
Zakończenie
Bibliografia
Indeks terminów

< porzedni produkt | powrót do strony podglądu produktów | nastepny produkt >

ZAŁÓŻ SWÓJ WŁASNY SKLEP INTERNETOWY !!!
abc24.pl - proste, tanie i niezawodne rozwiązanie e-commerce dla Ciebie ! Testuj za darmo !