|
» PROMOCJE !!! » NOWOŚCI !!! PROMOCJE (33) TECHNIKA I MECHANIKA Fotografia (54)Mechanika (183) Elektryka, Elektronika (382) Architektura i budownictwo (204) Technika (559) Automatyka (65) Wyd. przed 1950 r. (51) NAUKI ŚCISŁE Matematyka (237) »Chemia (212) Fizyka (117) Informatyka (84) Astronomia (16) Wyd. przed 1950 r. (39) NAUKI HUMANISTYCZNE I SPOŁECZNE Pedagogika (231)Psychologia (216) Ekonomia i zarządzanie, prawo (281) Polityka, politologia (74) Sztuka i kultura (341) Językoznawstwo, polonistyka (337) Etnologia, antropologia (72) Etyka (8) Socjologia (71) Filozofia (178) Wyd. przed 1950 r. (52) NAUKI PRZYRODNICZE Biologia (214)Geografia (36) Geologia, geodezja (75) Ekologia (52) Rolnictwo, zootechnika (51) Wyd. przed 1950 r. (44) HISTORIA Polski (747)Powszechna (303) Biografie, wspomnienia (602) Wyd. przed 1950 (63) LITERATURA POPULARNA Proza i dramat polski (475)Proza i dramat zagraniczny (629) Książki wydane przed 1950 rokiem (430) Fantastyka, Science-fiction (124) Książki popularnonaukowe (253) Horror (34) Poezja (138) Sagi (3) Ezoteryka, UFO (109) Poradniki (387) Komiksy (25) Erotyka (20) Humor (17) Audiobooki (1) LITERATURA DLA DZIECI Polska (153)Zagranica (114) Wyd. przed 1950 r. (3) SŁOWNIKI I ENCYKLOPEDIE Słowniki (57)Encyklopedie (10) Wyd. przed 1950 r. (12) KSIĄŻKI KULINARNE Książki kulinarne (147)Wyd. przed 1950 r. (2) KSIĄZKI OBCOJĘZYCZNE Wyd. przed 1950 rokiem (77)Wyd. po 1950 roku (125) RELIGIE, TEOLOGIA Religie, teologia (1184)Wyd. przed 1950 r. (87) Sport, turystyka (603) Wyd. przed 1950 r. (8) MUZYKA Nuty, śpiewniki (75)Pozostałe (51) Wyd. przed 1950 r. (34) MEDYCYNA, ZDROWIE Medycyna, zdrowie (429)Wyd. przed 1950 rokiem (21) PODRĘCZNIKI Do nauki języków (113)Przedmioty podstawowe (31) Przedmioty zawodowe (16) Wyd. przed 1950 r. (6) POZOSTAŁE Albumy (136)Czasopisma (64) Mapy (10) Stara reklama Varia (3)Autografy, dedykacje (11) | 
Opis: UŚ 1995, str. 248 stan bdb ISSN 0239-6432 Treść WSTĘP LOGICZNA TEORIA PROGRAMOWANIA POJĘCIA PODSTAWOWE § 1. Oznaczenia teoriomnogościowe § 2. Analiza algorytmów i stale algorytmiczne ROZDZIAŁ I. JĘZYK LOGIKI ALGORYTMICZNEJ § 1. Termy, programy i formuły ROZDZIAŁ II. POJĘCIE REALIZACJI, MODELE I KONSEKWENCJA MODELOWA § 1. Algebra Boole'a . § 2. Realizacja logiki algorytmicznej § 3. Poprawność programów i pojęcie prawdziwości semantycznej w logice algorytmicznej § 4. Niefinitystyczność konsekwencji modelowej § 5. Teoria drzew w sekwencyjnej metodzie wprowadzenia semantyki ROZDZIAŁ ni. WŁASNOŚCI TERMÓW, PROGRAMÓW I FORMUŁ § 1. Programy o rozłącznych zbiorach zmiennych z termami, formułami i programami § 2. Własności wartościowań nie różniących się na pewnym zbiorze zmiennych ROZDZIAŁ IV. KONSEKWENCJA LOGIKI ALGORYTMICZNEJ § 1. Wprowadzenie § 2. Aksjomaty i reguły wnioskowania § 3. Reguły wyprowadzalne ROZDZIAŁ V. ALGEBRA LINDENBAUMA. REALIZACJA KANONICZNA § 1. Algebra Boole'a i jej własności § 2. Algebra Lindenbauma oraz ilorazowa algebra Lindenbauma względem ultrafiltru zachowującego kresy ROZDZIAŁ VI. TWIERDZENIE O PEŁNOŚCI LOGIKI ALGORYTMICZNEJ § 1. Reguły niezawodne i tautologie § 2. Algebra Lindenbauma a realizacja kanoniczna § 3. Twierdzenie o pełności konsekwencji syntaktycznej względem konsekwencji modelowej § 4. Konsekwencja z regułą podstawiania ROZDZIAŁ VII. KWANTYFEKATOROWA TEORIA ALGORYTMICZNA Z IDENTYCZNOŚCIĄ § 1. Język i jego realizacja § 2. Twierdzenie o izomorfizmie § 3. Aksjomaty i reguły kwantyfikatorowej teorii algorytmicznej z identycznością § 4. Formuły o postaci prostej § 5. Własności formuł w realizacji kanonicznej § 6. Twierdzenie o pełności kwantyfikatorowej teorii algorytmicznej z identycznością § 7. Nowe rezultaty dotyczące logiki algorytmicznej BIBLIOGRAFIA SKOROWIDZ SYMBOLI SKOROWIDZ NAZW ELEMENTY SYSTEMU PRZECHOWYWANIA I WYSZUKIWANIA INFORMACJI INTUICYJNE PODEJŚCIE DO SYSTEMU ISR § 1. Atrybuty ROZDZIAŁ I. PODSTAWOWE POJĘCIA SYSTEMU PRZECHOWYWANIA I WYSZUKIWANIA INFORMACJI § 1. Język systemu ISR § 2. Długość termu i formuły oraz podział zbioru A ROZDZIAŁ II. MODELE SYSTEMU ISR § 1. Konsekwencja modelowa § 2. Funkcja informacji wraz z pojęciem treści oraz modele selektywne ROZDZIAŁ III. KONSEKWENCJA SYSTEMU PRZECHOWYWANIA I WYSZUKIWANIA INFORMACJI § 1. Aksjomaty i reguły systemu ISR § 2. Twierdzenie o dedukcji ROZDZIAŁ IV. REGUŁY EKSTENSJONALNOŚCI § 1. Wyprowadzalność reguł ekstensjonalności względem konsekwencji systemu ISR ROZDZIAŁ V. POSTAĆ STANDARDOWA TERMÓW § 1. Termy elementarne, proste i standardowe § 2. Twierdzenie o sprowadzaniu termów do postaci standardowej ROZDZIAŁ VI. POSTAĆ STANDARDOWA FORMUŁ § 1. Formuły podstawowe, elementarne, bazowe i standardowe § 2. Twierdzenie o sprowadzaniu formuł do postaci standardowej ROZDZIAŁ VII. MODELE BAZOWE § 1. Wartości termów prostych i formuły bazowej w modelu bazowym ROZDZIAŁ VIII. PODSTAWOWE TWIERDZENIE SYSTEMU ISR § 1. Twierdzenie o pełności dla systemu ISR § 2. Zagadnienie rozstrzygalności systemu ISR ROZDZIAŁ DC MODELE BAZOWE MODELAMI SYSTEMÓW ZUPEŁNYCH § 1. Charakteryzacja nadzbiorów Lindenbauma za pomocą modeli bazowych ROZDZIAŁ X. KOMPONENTY I METODA KODOWANIA § 1. Związek miedzy komponentami a termami prostymi § 2. Przedstawialność zbioru przedmiotów za pomocą termów § 3. Przechowywanie informacji o elemencie za pomocą kodu § 4. Pewna organizacja komputerowej pamięci § 5. Nowe zagadnienia dotyczące systemu ISR BIBLIOGRAFIA SKOROWIDZ SYMBOLI |
 |