Elemente de Teoria Grafurilor şi Logică Computaţională

GentleMint avatar
GentleMint
·
·
Download

Start Quiz

Study Flashcards

20 Questions

Care este problema fundamentală în accesul concurent la resurse în sistemele de operare?

Problema secțiunii critice

Care este scopul algoritmului de paginare în sistemele de operare?

Optimizarea utilizării memoriei

Care este beneficiul încapsulării protocoalelor în rețelele de calculatoare?

Simplificarea comunicării între dispozitive

Care este rolul unității centrale de prelucrare în arhitectura unui sistem de calcul?

Executarea instrucțiunilor

Ce este reprezentarea numerelor în calculator?

O reprezentare a valorilor în format binar

Care este scopul algoritmului de detecție și evitare a impasului în sistemele de operare?

Prevenirea blocării sistemului

Ce este o rețea de calculatoare?

O colecție de calculatoare conectate între ele

Care este rolul magistralelor în arhitectura unui sistem de calcul?

Transmiterea datelor între componente

Care sunt clasele speciale de grafuri?

Grafuri simple, grafuri complete, grafuri bipartite

Ce este o expresie regulară?

O expresie care descrie un limbaj formal

Ce este tabelul de adevăr în logica propozițiilor?

O tabelă care prezintă toate combinațiile posibile ale valorilor de adevăr pentru o propoziție

Ce este raționamentul în stil natural?

Un stil de raționament bazat pe reguli logice

Ce este forma normală a unei formule propoziționale?

O formă în care sunt eliminate toate variabilele

Ce este un limbaj formal?

Un limbaj definit prin gramatică și alfabet

Care este scopul algoritmului alg din codul de mai sus?

Numărarea elementelor unui tablou unidimensional

Ce este limbajul formal utilizat în proiectarea sistemelor de operare?

Limbajul de programare în regim de asamblare

Care este avantajul rețelelor de calculatoare împărțite în straturi?

Îmbunătățirea scalabilității

Ce este structura de date utilizată în algoritmul de sortare rapidă?

Vectorul

Ce este conceptul de bază în programarea orientată pe obiecte?

Clasa

Ce este tehnică utilizată în proiectarea sistemelor de operare pentru a împărți resursele?

Partiționarea

Study Notes

Teoria Grafurilor

  • Noțiuni și definiții de bază
  • Clase speciale de grafuri
  • Conectivitate, distanțe, drumuri minime
  • Arbori de acoperire
  • Rețele de transport, fluxuri
  • Colorări

Logică Computațională

  • Recunoașterea și parcurgerea expresiilor (logica propozițiilor și predicatelor)
  • Semantica, calculul valorii expresiilor (logica propozițiilor și predicatelor)
  • Tabele de adevăr (logica propozițiilor)
  • Validitate, satisfiabilitate, consecință logică, echivalență logică (logica propozițiilor și predicatelor)
  • Raționament, rolul raționamentului
  • Teorema de deducție
  • Forme normale ale formulelor propoziționale
  • Rezoluție, DP, DPLL
  • Raționament în stil natural (logica propozițiilor și logica predicatelor)
  • Aplicații ale logicii: design de circuite digitale

Limbaje Formale și Teoria Automatelor

  • Limbaje, gramatici, expresii regulate și automate finite

Tematica 2: Limbaje de Programare și Inginerie Software

  • Limbaje de programare: tipuri de date, clase, obiecte, relații între clase
  • Baze de date: modelarea unei baze de date, forme normale, interogări SQL
  • Inginerie Software: activitățile procesului de dezvoltare de software, metode agile de dezvoltare de software, diagrame UML

Tematica 3: Sisteme de Calcul

  • Arhitectura calculatoarelor: structura unui sistem de calcul, unitatea centrală de prelucrare, memoria unui sistem de calcul, dispozitivele periferice ale unui sistem de calcul, magistralele unui sistem de calcul, reprezentarea numerelor în calculator
  • Sisteme de operare: accesul concurent la resurse, probleme de comunicare, algoritmi de planificare CPU, algoritmi de paginare, algoritmi de detecție și evitare a impasului
  • Rețele de calculatoare: încapsularea protocoalelor, comunicare orientată pe datagrame, retransmisie

Quiz despre noţiuni şi definiţii de bază în teoria grafurilor, grafuri speciale, conectivitate, drumuri minime şi logică computaţională, inclusiv recunoaşterea expresiilor logice şi semantica.

Make Your Own Quizzes and Flashcards

Convert your notes into interactive study material.

Get started for free

More Quizzes Like This

Exploring Graph Theory
5 questions

Exploring Graph Theory

GleefulJasper7081 avatar
GleefulJasper7081
Mastering Network Theory
10 questions

Mastering Network Theory

JawDroppingRationality avatar
JawDroppingRationality
Use Quizgecko on...
Browser
Browser