Programowanie. Koncepcje, techniki i modele (ebook)(audiobook)(audiobook)

Autorzy:
Peter Van Roy, Seif Haridi
Wydawnictwo:
Helion
Ocena:
6.0/6  Opinie: 1
Stron:
904
Druk:
oprawa twarda

Poznanie istoty programowania komputerów można zacząć od analizy języków programowania, ich struktur, typów danych i instrukcji. Jednak mnogość języków, różnice pomiędzy nimi i możliwość wykorzystania ich do różnych zadań sprawiają, że przeprowadzenie takiej analizy będzie niezwykle czasochłonne, a jednocześnie nie będzie gwarantowało poznania wszystkich koncepcji i paradygmatów programowania. Naukę koncepcji programowania najlepiej rozpocząć od poznania modelowych struktur realizowanych za pomocą modeli obliczeniowych -- konstrukcji definiujących sposób realizacji obliczeń, nie powołujących się na konkretny język.

Książka "Programowanie. Koncepcje, techniki i modele" prezentuje programowanie jako zbiór takich właśnie modeli. Opisuje je w postaci kodów stworzonych w prostym języku podstawowym przeznaczonym dla abstrakcyjnego komputera. W książce przedstawiono zarówno modele ogólne -- programowanie deklaratywne, współbieżność deklaratywną, współbieżność przesyłania komunikatów, stan jawny, programowanie zorientowane obiektowo, współbieżność stanu dzielonego oraz programowanie relacyjne -- jak i modele specjalizowane, takie jak programowanie graficznych interfejsów użytkownika, programowanie rozproszone oraz programowanie z ograniczeniami. Publikacja zawiera wiele fragmentów programów i ćwiczeń. Można je uruchomić w ramach systemu Mozart Programming System -- pakietu programistycznego rozprowadzanego na licencji open source.

  • Podstawowe założenia problematyki programowania
  • Notacja Backusa-Naura
  • Gramatyki kontekstowe i bezkontekstowe
  • Zasada działania maszyny abstrakcyjnej
  • Typy danych, instrukcje i funkcje
  • Drzewa i analiza składniowa
  • Metodologie projektowania programów
  • Programowanie współbieżne
  • Zasady projektowanie i programowanie obiektowego
  • Projektowanie interfejsów użytkownika
  • Obliczenia rozproszone

Pisanie niezawodnych programów wymaga opanowania koncepcji leżących u ich podstaw. Dzięki tej książce poznasz je wszystkie.