|
» PROMOCJE !!! » NOWOŚCI !!! PROMOCJE (33) TECHNIKA I MECHANIKA Fotografia (54)Mechanika (182) Elektryka, Elektronika (367) Architektura i budownictwo (195) Technika (550) Automatyka (65) Wyd. przed 1950 r. (51) NAUKI ŚCISŁE Matematyka (241)Chemia (207) Fizyka (120) Informatyka (84) Astronomia (16) Wyd. przed 1950 r. (39) NAUKI HUMANISTYCZNE I SPOŁECZNE Pedagogika (204)Psychologia (218) Ekonomia i zarządzanie, prawo (279) Polityka, politologia (73) Sztuka i kultura (339) Językoznawstwo, polonistyka (334) » Etnologia, antropologia (72) Etyka (7) Socjologia (69) Filozofia (168) Wyd. przed 1950 r. (52) NAUKI PRZYRODNICZE Biologia (210)Geografia (36) Geologia, geodezja (75) Ekologia (52) Rolnictwo, zootechnika (53) Wyd. przed 1950 r. (45) HISTORIA Polski (748)Powszechna (305) Biografie, wspomnienia (604) Wyd. przed 1950 (63) LITERATURA POPULARNA Proza i dramat polski (473)Proza i dramat zagraniczny (628) Książki wydane przed 1950 rokiem (426) Fantastyka, Science-fiction (124) Książki popularnonaukowe (255) Horror (35) Poezja (139) Sagi (3) Ezoteryka, UFO (113) Poradniki (376) Komiksy (25) Erotyka (21) Humor (18) Audiobooki (1) LITERATURA DLA DZIECI Polska (153)Zagranica (113) Wyd. przed 1950 r. (3) SŁOWNIKI I ENCYKLOPEDIE Słowniki (58)Encyklopedie (9) Wyd. przed 1950 r. (12) KSIĄŻKI KULINARNE Książki kulinarne (151)Wyd. przed 1950 r. (2) KSIĄZKI OBCOJĘZYCZNE Wyd. przed 1950 rokiem (77)Wyd. po 1950 roku (125) RELIGIE, TEOLOGIA Religie, teologia (1206)Wyd. przed 1950 r. (80) SPORT, TURYSTYKA, KRAJOZNAWSTWO Sport, turystyka (601)Wyd. przed 1950 r. (8) MUZYKA Nuty, śpiewniki (76)Pozostałe (49) Wyd. przed 1950 r. (33) MEDYCYNA, ZDROWIE Medycyna, zdrowie (432)Wyd. przed 1950 rokiem (21) PODRĘCZNIKI Do nauki języków (114)Przedmioty podstawowe (28) Przedmioty zawodowe (14) Wyd. przed 1950 r. (6) POZOSTAŁE Albumy (136)Czasopisma (63) Mapy (10) Stara reklama Varia (3)Autografy, dedykacje (11) 
Napisz do nas
784 088 234 ZadzwońCzynne od 9.00 - 19.00 | 
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 |
 |