Computer Science Logo Style Volume 3: Beyond Programming [Romanian]

Original in English by Brian Harvey

Calculatoare Logo Stiinta Stil

Volumul 3: Dincolo de programare

2Brian Harvey 2
Universitatea din California, Berkeley

img

 

Volumul 1: Calcul simbolic  img
Volumul 2: Tehnici avansate  img
Descărcați Logo Berkeley (UCBLogo) img
Pagina lui Brian  img
     Pagina web a ediției MIT Press pentru Stil Logo în Informatică   img

Sub acest cuprins scurt este un cuprins mai extins ce include secţiuni în cadrul fiecărui capitol. Faceți click pe numele capitolului pentru a sari în jos. Puteţi descărca, de asemenea, textul complet al fiecărui capitol în format PDF pentru imprimare mai elegant, sau să răsfoiţi versiunea în HTML.

Notă: Aceste cărţi sunt încă în drepturi de autor, și în printare. Ele sunt postate aici, pentru uz personal, și nicicum nu pentru revânzare sau redistribuire. Mulțumesc!


Prefaţa

  • Despre această serie

  • Cum trebuie de citit această carte

  • Ce nu este inclus

  • Calculatoare şi oameni

Mulţumiri

1. Teoria automatelor

  • Ce este un calcul?

  • Maşini de starea finită

  • Mașini nedeterministe

  • Reprezintarea mașinilor ca liste Logo

  • Editoare de text: o utilizare pentru receptori

  • Expresii regulate

  • Reguli care nu sunt regulare

  • Expresii regulate şi maşini de stare finită

  • Cum de o traduce

  • Cum de produs o traducere

  • Efectuarea maşinii deterministe 

  • Eliminarea stărilor redundante

  • Numărarea şi maşini de stare finită

  • Un adăucător a stării finite

  • Numărarea şi maşini de stare finită

  • Mașini lui Turing

  • Teza lui Turing

  • Teorema stopării
  • Demonstrarea teoremei stopării în Logo

  • Listingul programului

2. Matematică discretă

  • Logica propoziţiilor

  • Sistem de inferență

  • Probleme cu ranjare

  • Structura datelor

  • Structura programului: înregistrare propunerilor simple

  • Structura programului: înregistrarea implicațiilor 

  • Utilizarea implicaţiilor pentru a reprezenta ranjări

  • Înapoiere

  • Sisteme generalizate de inferenţă şi logica predicatelor

  • Hardware logică şi de calculatoare,

  • Combinatorica

  • Combinatorica

  • Triunghiul lui Pascal

  • Triunghiul lui Pascal

  • Problema blocării lui simplex

  • O soluţie inductivă

  • Coeficienţii multinomiali

  • Listingul programului

3. Algoritmi şi structuri de date

  • Optimizarea locală contra algoritmilor eficienţi

  • Memoizație

  • Algoritmi de sortare

  • Algoritmi de sortare

  • Sortare prin partiție

  • Ordinul de creştere

  • Structuri de date

  • Structuri de date în viaţa reală

  • Copaci

  • Îmbunătăţirea reprezentării a datelor

  • Copacii ca un tip abstract de date
  • Modificarea copacilor

  • Algoritmi de căutare şi copaci

  • Structurile de date Logo de bază

  • Listingul programului

4. Programare limbajului de design

  • Paradigme de programare

  • Limbi interactive şi non-interactive

  • Blocuri de structură

  • Tipuri de declarație

  • Amestecarea o puntei utilizînd matricele

  • Domeniul de aplicare lexical

  • Variabile dactilografiate

  • Tipuri suplimentare în Pascal standard 

  • Critica de Variabile tapate

  • Proceduri şi funcţii

  • Apel prin valoare şi de apel prin referinţă

  • Parametrii în Logo: apel prin legare

5. Limbaj de programare a implementării

  • Definiţie sintaxei formale

  • Tokenizarea

  • Privire anticipată

  • Parsare

  • Expresii şi precedenţă

  • Algoritmul de două grupuri de exprimare

  • Mașina simulată

  • Cadre de grupuri

  • Structuri de date

  • Structuri de date

  • Listingul programului

6. Inteligenţă artificială

  • Microlumi: student

  • Cum studentul traduce din engleză în algebră

  • Model de potrivire

  • Rezolvarea ecuatiilor

  • Probleme de vârstă

  • Probleme de vârstă

  • Combinând propoziții într-o ecuaţie

  • Permiterea frazării flexibile

  • Utilizarea de cunoştinţe de fundal

  • Substituţii opţionale

  • Dacă toate ”și încă ceva” nu lucrează

  • Limitările de potrivire de model

  • Limbile libere de context

  • Limbile libere de context

  • Listingul programului

Anexe

Bibliografie

  • Citeste acest text!

  • Capitolul 1: Teoria automatelor

  • Capitolul 2: matematică discretă

  • Capitolul 3: algoritmi şi structuri de date

  • Capitolul 4: Programarea limbajului de design

  • Capitolul 5: Punerea în aplicare a limbei de programare

  • Capitolul 5: Punerea în aplicare a limbei de programare

  • Calculatoare şi oamenii

Credite

Pagina de start a procedurilor definite

Indicele general

ok ok