Zaawansowane wyszukiwanie
  Strona Główna » Sklep » Matematyka » Logika Topologia » Moje Konto  |  Zawartość Koszyka  |  Do Kasy   
 Wybierz kategorię
Algorytmy Wzorce UML
Bazy danych
Bezpieczeństwo
Bioinformatyka
Biznes Ekonomia Firma
Chemia
DTP Design
E-biznes
Ekonometria
Elektronika Elektrotechnika
Energetyka
Fizyka
GIS
Grafika użytkowa
Hardware
Informatyczne systemy zarządzania
Informatyka w szkole
Języki programowania
Matematyka
  Algebra Teoria liczb
  Analiza matematyczna
  Logika Topologia
  Matematyka dyskretna
  Matematyka ogólna
  Rachunek prawdopodobieństwa
  Statystyka Statistica SPSS
Multimedia
Obsługa komputera
Office
Poradniki
Programowanie gier
Programy inżynierskie
Programy matematyczne
Słowniki
Serwery
Sieci komputerowe
Systemy operacyjne
Technika
Telekomunikacja
Tworzenie stron WWW

Zobacz pełny katalog »
 Wydawnictwo:
 WNT
Polsko-angielski słownik fizyczny Słownik podręczny

Polsko-angielski słownik fizyczny Słownik podręczny

59.00zł
47.79zł
Logika matematyczna w informatyce Wydanie 2 57.75zł
Logika matematyczna w informatyce Wydanie 2

Autor: Ben-Ari Mordechai

ISBN: 83-204-3221-9

Ilość stron: 346

Data wydania: 12/2006 (wydanie 2)

Twarda oprawa

Książka "Logika matematyczna w informatyce" jest poświęcona zagadnieniom logiki, które stanowią podstawę wykształcenia każdego informatyka i inżyniera stosującego metody komputerowe. Omówiono w niej rachunek zdań, logikę pierwszego rzędu, programowanie w logice, specyfikację i weryfikację programów oraz logikę temporalną. Wszystkie przedstawione implementacje wykonano w języku Prolog.

Jest to doskonały podręcznik, o wielkich walorach dydaktycznych, napisany z dużym znawstwem tematu, a na dodatek zrozumiale. W każdym rozdziale podano wiele przykładów ilustrujących omawiane pojęcia i metody, a także zamieszczono ćwiczenia o zróżnicowanym stopniu trudności. Książka jest przeznaczona dla studentów pierwszych lat studiów na kierunkach informatycznych. Skorzystają z niej także pracownicy dydaktyczni prowadzący zajęcia z logiki stosowanej.

Rozdziały:

1. Wprowadzenie
1.1. Początki logiki matematycznej
1.2. Rachunek zdań
1.3. Rachunek predykatów
1.4. Dowodzenie twierdzeń i programowanie w logice
1.5. Systemy logiczne
1.6. Ćwiczenie

2. Rachunek zdań: formuły, modele, tabele semantyczne
2.1. Operatory logiczne
2.2. Formuły rachunku zdań
2.3. Interpretacje
2.4. Logiczna równoważność
2.5. Spełnialność, prawdziwość i konsekwencje logiczne
2.6. Metoda tabel semantycznych
2.7. Poprawność i pełność
2.8. Implementacja w Prologu
2.9. Ćwiczenia

3. Rachunek zdań: systemy dowodzenia
3.1. Wyprowadzanie formuł
3.2. System gentzenowski
3.3. System hilbertowski
3.4. Poprawność i pełność systemu hilbertowskiego
3.5. Weryfikator dowodów w Prologu
3.6. Odmiany systemów dowodzenia*
3.7. Ćwiczenia

4. Rachunek zdań: rezolucja i diagramy binarnych decyzji
4.1. Rezolucja
4.2. Diagramy binarnych decyzji (DBD)
4.3. Algorytmy operujące na diagramach binarnych decyzji
4.4. Złożoność*
4.5. Ćwiczenia

5. Rachunek predykatów: formuły, modele, tabele semantyczne
5.1. Relacje i predykaty
5.2. Formuły rachunku predykatów
5.3. Interpretacje
5.4. Logiczna równoważność
5.5. Metoda tabel semantycznych
5.6. Implementacja w Prologu
5.7. Modele skończone i nieskończone*
5.8. Rozstrzygalność*
5.9. Ćwiczenia

6. Rachunek predykatów: systemy dowodzenia
6.1. System gentzenowski
6.2. System hilbertowski
6.3. Implementacja w Prologu
6.4. Teorie zupełne i rozstrzygalne*
6.5. Ćwiczenia

7. Rachunek predykatów: rezolucja
7.1. Funkcje i termy
7.2. Postać klauzulowa formuł
7.3. Modele Herbranda
7.4. Twierdzenie Herbranda*
7.5. Rezolucja dla klauzul ustalonych
7.6. Podstawienia
7.7. Uzgadnianie
7.8. Rezolucja
7.9. Ćwiczenia

8. Programowanie w logice
8.1. Formuły jako programy
8.2. SLD-rezolucja
8.3. Prolog
8.4. Programowanie współbieżne w logice*
8.5. Programowanie w logice z więzami*
8.6. Ćwiczenia

9. Programy: semantyka i weryfikacja
9.1. Wprowadzenie
9.2. Semantyka języków programowania
9.3. System dowodzenia HL
9.4. Weryfikacja programów
9.5. Synteza programów
9.6. Poprawność i pełność systemu HL
9.7. Ćwiczenia

10. Programy: formalne specyfikacje w notacji Z
10.1. Przykład: sygnalizator świetlny
10.2. Notacja Z
10.3. Przykład: tabela semantyczna
10.4. Ćwiczenia

11. Logika temporalna: formuły, modele, tabele semantyczne
11.1. Wprowadzenie
11.2. Składnia i semantyka
11.3. Modele czasu
11.4. Metoda tabel semantycznych
11.5. Implementacja metody tabel semantycznych w Prologu
11.6. Ćwiczenia

12. Logika temporalna: systemy dowodzenia i zastosowania
12.1. System dowodzenia L
12.2. Poprawność i pełność L*
12.3. Inne logiki temporalne*
12.4. Specyfikacje oraz weryfikacja programów*
12.5. Weryfikacja przez model*
12.6. Ćwiczenia

A. Teoria mnogości
A.1. Zbiory skończone i nieskończone
A.2. Operacje na zbiorach
A.3. Zbiory uporządkowane
A.4. Relacje i funkcje
A.5. Moc zbioru
A.6. Dowodzenie właściwości zbiorów

Logika matematyczna w informatyce Wydanie 2
--- Pozycja niedostępna.---
Klienci, którzy kupili „Logika matematyczna w informatyce Wydanie 2”, kupili także:

Wprowadzenie do algorytmów, Thomas H. Cormen, Charles E. Leiserson, Ronald Rivest, Clifford Stein, Wydawnictwo Naukowe PWN

Logika praktyczna Wydanie 26, Zygmunt Ziembiński, Wydawnictwo Naukowe PWN

AVR i ARM7 Programowanie mikrokontrolerów dla każdego, Paweł Borkowski, Wydawnictwo Helion

Elektrotechnika i elektronika w pojazdach samochodowych, Anton Herner, Hans-Jürgen Riehl, Wydawnictwo WKiŁ

ActionScript 3.0 Szybki start, Derrick Ypenburg, Wydawnictwo Helion

Adobe Flex 4 Oficjalny podręcznik, Michael Labriola, Jeff Tapper, Matthew Boles, Wydawnictwo Helion

czwartek, 28 marca 2024   Mapa strony |  Nowości |  Dzisiejsze promocje |  Koszty wysyłki |  Kontakt z nami