Anmat1 Analiza matematica 1
Cursul este destinat specializarilor ingineresti, continand calcul diferential.
LFA Limbaje formale si automate
Cursul se adresează studentilor de la specializarea Informatică si Matematică informatică, anul II.
Cursul prezintă concepte fundamentale în teoria limbajelor formale şi automatelor, şi anume gramatici, automate finite, expresii şi limbaje regulare, automate push-down, translatoare şi maşini Turing. Aceste sisteme sunt modele fundamentale pentru teoria computabilităţii şi stau la baza altor domenii ale informaticii (compilatoare, inginerie software, sisteme distribuite,...) sau chiar la baza construcţiei unor sisteme fizice (semafoare, vending machines,...).
Obiectivul principal al acestui curs este de a iniţia studenţii în bazele teoriei computabilităţii. Alte obiective sunt: aplicarea raţionamentelor logice şi a tehnicilor matematice la probleme de analiză sintactică, recunoaşterea şi utilizarea gramaticilor regulare şi independente de context respectiv a automatelor finite, push-down şi a maşinilor Turing.
Cunoştinţe şi abilităţi dobândite. Studenţii vor fi capabili să: demonstreze formal utilizând metode matematice proprietăţi ale gramaticilor şi automatelor; construiască gramatici regulare respectiv automate finite care generează sau acceptă limbaje date; verifice dacă un limbaj este regular; construiască o gramatică regulară echivalentă cu un automat finit şi invers; transforme automate finite nedeterministe în deterministe; execute transformări echivalente asupra gramaticilor independente de context; construiască gramatici independente de context respectiv automate push-down care generează sau acceptă anumite limbaje independente de context; construiască gramatici independente de context echivalente cu automate push-down; construiască o maşină Turing pentru un limbaj simplu.
AlgG Algoritmica grafurilor/Grafuri si combinatorica (2023-2024)
Cursul se adresează studentilor de la specializarea Informatică, anul II si este curs comun cu cel de Grafuri si combinatorică, specializarea Matematică informatică, anul II.
Obiectivul principal al cursului este familiarizarea studentilor cu notiunile de teoria grafurilor si combinatorică precum si cu algoritmii de bază pentru prelucrarea structuriilor de date graf.
ArhSC Arhitectura sistemelor de calcul/Programarea in limbaj de asamblare
Cursul se adresează studentilor din anul I, specializările Informatică, Matematică informatică si studentilor din anul II, specializarea Calculatoare (Programarea in limbaj de asamblare).
Obiectivul cursului este familiarizarea studentilor cu structura microprocesoarelor si cu programarea in limbaj de asamblare.
DBs Baze de Date (DBs)
Obiective specifice:
- implementarea şi accesarea unei baze de date
conform unui set de cerințe textuale sau specificații tehnice
- conceperea şi optimizarea de interogări
folosind sintaxa limbajelor relaționale (SQL)
- analiza modelului conceptual al unei baze de
date pe care să poată aplica elemente de optimizare a structurii prin tehnici
de normalizare. Studentul trebui să adopte cea mai bună soluție pentru
normalizarea schemei unei baze de date, în vederea realizării unei proiectări
optimale a unei baze de date pentru anumite clase de probleme;
- utilizarea unor instrumente de lucru integrate
(SGBD-uri si mediu integrat de dezvoltare aplicații cu baze de date - IDE )
pentru implementare.
- utilizarea unui limbaj specific pentru realizarea unei aplicații cu baze de date (Python, PHP, Java, etc.)
- utilizarea conceptelor şi mecanismelor necesare administrării unui un server de baze de date (instalare si utilizare componente de lucru, backup si recovery , soluții de indexare si optimizare spațiu disc, securizarea accesului la date).