Al facultatii
Ultimele Noutati
EXAMEN DE ADMITERE MASTER INFORMATICA - MMIA
18/09/2017 15:44:09
INTERVIU - 20 SEPTEMBRIE 2017, ORA 16.00, SALA 116
EXAMENUL DE DISERTATIE sesiunea SEPTEMBRIE 2017
08/09/2017 19:12:29
Metode si modele in IA
: 12.09.2017, ora 9:00, sala 116
LOCURI LIBERE - Admitere septembrie
20/08/2017 09:07:28
LICENTA:
7 locuri la Taxa
MASTER: 7 locuri la Buget si 3 la Taxa
Mai multe
E-Avizier
Concurs de programare Catalysts Coding @ UCV
Sintec Media’s Internship Program 2017
Open4Tech – Summer school 2017
Open4Tech – O zi din viata unei fabrici de software
HELLA Embedded Software Academy 2017
Linkuri Rapide
Universitatea din Craiova
Evidenta Studentilor
Optionale Studenti
Erasmus
Facultatea de Stiinte
Baza materiala
Departamentul de Informatica
Facultatea de Stiinte
Admitere
Oferta educationala
Cifra de Scolarizare
Admitere 2017 - Licenta
Admitere 2017 - Master
Conversie in Informatica - 2017
Rezultate Licenta
Rezultate Master
Departament
Conducere
Consiliul Facultatii
Senat
Cadre didactice
Secretariat
Gradatii de merit
Invatamant
Programe de studii
Course Catalogue
Structura anului
Regulamente
Examen de Licenta - 2017
Examen de Disertatie - 2017
Reconversie in informatica
Cercetare
Jurnale
Conferinte
Centre de cercetare
Studenti
Anunturi
Practica
Orar
Examene
Evidenta Studentilor
Manifestari stiintifice studentesti
ERASMUS
Erasmus+
Erasmus+ incoming
Erasmus+ outgoing
Noutati
Documente
Despre
Scurt Istoric
Baza Materiala
Galerie
Contact
Skip Navigation Links
Course Catalogue
Bachelor Degree in Computer Science
1
^{st}
YEAR
1
^{st}
SEMESTER
Calculus - 5 ECTS
Introduction: Normed linear spaces, Metric spaces. Functions: real valued functions of a single real variable, vector valued functions of a single real variable, real functions of several real variables, vector valued functions of several real variables; direct image of a set. (3 hours)
Sequences and series: Convergence of sequences in metric spaces: convergent sequence, Cauchy sequence. Real sequences: Bolzano Weierstrass theorem. Complete metric space. Sequences in Rp. Sequences of functions. Convergence of numerical series: series with positive terms, absolutely convergent series, alternated series, approximating the sum of a convergent series. Series of functions. Power series. (4 hours).
Continuous functions: Limits of functions. Continuous functions and uniformly continuous functions. Curves. Linear and continuous operators. (3 hours)
Differentiable functions: Differentiability of functions of a single real variable. Real valued functions of a single real variable: the derivative at a point, higher order derivatives, Taylor formula, Mac-Laurin formula, extrema. Power series, representation of a common function as a power series. Vector valued functions of a single real variable: the derivative at a point, curves. Differentiability of functions of several real variables: partial derivatives, gradient, jacobian matrix, higher order partial derivatives. Taylor formula, extrema. (8 hours)
Riemann integral: definition, properties, the length of a curve. Improper integrals. (2 hours)
Multiple integrals: calculation of a double integral and of a triple integral; change of variables in multiple integrals (polar coordinates, cylindrical coordinates, spherical coordinates) (3 hours).
Line integrals: Line integral of a scalar field. Vector field; line integral of a vector field. Path independence. Green-Riemann formula. (3 hours)
Algebric Foundations of Computer Science - 5 ECTS
Sets. Operations with sets. The Boolean ring; Binary relations on a set. General properties. Equivalence (congruence) relations. The factorization of a set (quotient set) by an equivalence (congruence) relation;
Relations of (pre) order on a set. Total ordered sets (chains). Special elements in an ordered set (bottom,top, minimal, maximal, irreducible, atom ,etc). Natural order relations on the main sets of numbers. Inductive sets. Zorn’s lemma;
Semilattices. Lattices. Filters. Ideals. Morphisms of (semi) lattices; Modular lattices.
Distributive lattices. The quotient lattice by filters or ideals;
The complement of an element in a bounded distributive lattice. Boolean algebras. The
connections between Boolean algebras and Boolean rings. Morphisms of Boole algebras; C5
:The factorization of a Boolean algebra by filters. Ultrafilters in a Boolean algebra. Stone
representation theorem.
The factorization of a Boolean algebra by filters. Ultrafilters in a Boolean algebra.Stone
representation theorem.
Algebraically operations. Semigroups. Monoids. Morphisms of monoids. The monoids (
N
,
+), (
N
,
.
). Group. Subgroup. Calculus in a groups. The subgroup generated by a set. Cyclic groups. The order of an element in a group. The lattice of subgroups of a group. The index of a subgroup in a group. Lagrange theorem.
Normal subgroups. Factor group. Cauchy theorem for finite groups. Applications. Morphisms
of groups. Isomorphisms of groups. The transport of subgroups by morphisms of groups. The group (
Z
,+). The Subgroups of the group (
Z
, +). The monoid (
Z
,
.
). Theorems of isomorphisms for groups. Direct product of groups. Chinese remainder theorem.
Groups of permutations. Cayley theorem. Transpositions. Cycles. The decomposition of a
permutation in a product of disjoint cycles.
Ring.Calculus in a ring. Specials elements in a ring: zero divisors, unit elements, nilpotent
elements. Subring. Subring generated by a set. The lattice of subrings of a ring. The finite ring of classes modulo n : (
Z
_{n}
, +,
.
). Integral domain. The integral domain (
Z
, +,
.
). Left (right, bilateral) ideal. Ideal generated by a set. Principal ideal. The lattice of ideals of a ring. Operations with ideals. Factorization of a ring by a bilateral ideal. Morphisms of rings. The transport of ideals and subrings by morphisms of rings. Theorems of isomorphisms for rings.
Field. Subfield. Calculus in a field. Morphisms of fields. The characteristic of a field. The
field (
Q
,+, .)
of rationals numbers. The field of reals (
R
,+,
.
), complex (
C
, +,
.
) and quaternions (
H
, +,
.
).
Rings of polynomials. Rings of polynomials in one variable with coeficients in a
commutative unitary ring. Construction. Universal property. Rings of polynomials in many variables. Construction. Universal property. Symmetric polynomials. The fundamental theorem of symmetric polynomials. The fundamental theorem of algebra (D’Alembert – Gauss).
Determinants and systems of linear equation.
Vector spaces.
Morphisms of vector spaces.
Logics and Computer Science - 6 ECTS
Introduction
Propositional Logic
Propositional Equivalences
Semantic Reasoning
Natural Deduction
Predicate logic
Inference Rules
Proofs - methods and strategies
Algorithms and Programming - 6 ECTS
Steps to achieve a program
Elementary algorithms
Data types, constants and variables
Instructions decision Loop, select
Operators Increment / decrement, relational, logical, bitwise, conditioning, conversion, precedence and associativity
Works Features
Features Input / Output format conversion
Recursion
Preprocessor directives
Structures, Unions
Pointers, dynamic allocation
Pointers to functions
Command line arguments
Pointers to structures
Structures and functions
Functions with variable number of parameters
lists
File management. Functions Input / output level. Operations at registration level
Class variable allocation
Computer Architecture - 5 ECTS
Data Representation in computing systems:Generations of computers,representation of numeric and nonnumeric information, corrective and detectors codes of errors
Boolean algebra and logic digital:Boolean algebra, logical gates, digital components, combinational circuits,sequential circuits
Classical von Neumann Architecture:Central Processing Unit, memories, Input-output units, peripheral equipments
Alternative Architectures:RISK Machines,Flynn's taxonomy, parallel and multiprocessor architectures, approaches on parallel processing alternatives "
Software System: Operating systems, protection equipments , programming tools, software for database, transactions management
Computer networks organization and architecture: Academic and business environment of computer networks, network architectures. ISO-OSI protocols and TCP/IP, computer networks organization ,high digital capacity connections, internet Network
English for Computer Science (I) - 3 ECTS
Sports - 1 ECTS
2
^{nd}
SEMESTER
Data structures and Techniques for Developing Algorithms - 6 ECTS
Introductory notions. The complexity of Algorithms.
Algorithms. Recursion. Divide et Impera. Greedy. Backtracking. Dynamic programming.
Data structures: single linked lists, double linked lists, stacks, queues
Sorting methods: Selection Sort, Insertions Sort, Shell Sort, Bubble Sort, Merge Sort, QuickSort.
Graphs. Trees.
HashTable
Fundamental Algorithms in Artificial Intelligence - 5 ECTS
Intelligent Agents:How Agents Should Act, structure of Intelligent Agents, properties of Intelligent Agents Environments
Problem-Solving Agents: Formulating Problems, search Strategies, informed Search Methods
Characteristics and Constraints:Constraint Satisfaction Problems, generate-and-test Algorithms , consistency Algorithms, local Search Algorithms
Modern Methods for Solving Problems:Evolutionary Algorithms , artificial Ant Colony Optimization, artificial Immune Systems
Game Playing:Minimax Algorithm, robocode – a Multi-agent Environment, reinforcement Learning
Object Oriented Programming - 6 ECTS
Introduction to Object Oriented Programming:Basic concepts in object oriented programming,classes and Objects, access specifiers
Creating and destroying objects:Constructors,types of constructors, destructors
Dynamic memory allocation
Static Data Members and Methods
Friend functions and classes
Operators overloading:Overloading operators using friend functions, overloading operators using member functions, overloading special operators
Representing classes using UML diagrams
Techniques for code reuse: Composition, inheritance, polymorphism - virtual functions and classes, template functions and classes
Exception handling in C++ language
I/O Operations. Streams
Standard Template Library – STL
Design Patterns
Operating Systems - 5 ECTS
Structural description of a computing system. Hierarchical relationships in a computer system. Hardware as basic system generator. Information flow in computer systems. Functional description of the processor. Functional description of memory. Functional description of link units and of peripheral devices. Structure of operating systems. Concepts of operating systems. Operating systems models.
Processes and threads. The processes model. Creating and terminating processes. Hierarchy of processes. The states of the processes. Processes implementation. Threads. Inter-processes communication. Race condition. Critical sections. Producer-consumer problem. Mutual exclusion via "Busy waiting". Sleep a¬¬nd Wakeup. Semaphores. Message passing. Classical problems of inter-processes communication.
Processes scheduling. Round robin scheduling. Scheduling based on priorities. Scheduling with multiple queues. Deadlocks. Deadlock modelling. Deadlock detection and elimination.
Memory management. Basic memory management. Swapping. Virtual memory. Memory paging. Page tables. Page replacement algorithms. LRU algorithm. FIFO algorithm. The second chance algorithm. Segmentation. Implementation of segmentation.
Input/Output. Principles of I/O hardware: I/O devices, and controllers. Principles of I/O software: goals of I/O software; programmed I/O; I/O operation driven by interrupts; DMA.
File systems. Naming, structure, types, access mode, and file attributes. File operations. Folders. Folders levels. Folders hierarchies. Path naming. Folders operations. Files implementation. Folders implementation..
Geometric Algorithms - 5 ECTS
Elements of analytical and affine geometry. Geometric Transformations
Basic Computational Geometry algorithms: Orientation of triangles, the problem of the road simply closed and the problem of belonging to the Interior of a polygon.
Convex Hull problem
Partition of a polygon into triangles. Algorithms for triangulation
Segments intersections. The Manhattan geometry
Voronoi diagrams and Delaunay Triangulation
Shortest paths problem and the visibility graphs
English for Computer Science (II) - 3 ECTS
Sports - 1 ECTS
2
^{nd}
YEAR
1
^{st}
SEMESTER
Graph Algorithms - 6 ECTS
Algorithms and complexity:Algorithms and computable functions, The complexity of calculation, Asymptotic complexity, Applications of asymptotic notations.
Finite undirected graphs:Representation methods, Connected graphs-Graph traversal, Hamiltonian and Eulerian cycles in an undirected graph.
Tree data structures:Trees-Definition,Minimum spanning tree,Binary trees
Directed graphs. Algorithms: Graphs representation and graphs traversal, Strongly connected graphs-Hamiltonian paths-Minimum distances-Matrix algorithms
Network flows in transport networks:Maximum flow problems in transport networks, Minimum flow problems in transport networks, Matching and vertex cover in bipartite graphs-Perfect matching-Complete matching-Algorithms, Applications of graph theory to engineering and computer science.
Computer Networks - 6 ECTS
Introduction. History, architecture, topology. Protocols stack. Levels design issues. Interfaces and services. The relationship between services and protocols. Standards.
Reference models. ISO-OSI reference model. TCP/IP reference model. Comparison with ISO-OSI model
Physical level. Shannon's Law. Particularities of various physical environments
Data Link layer. Detecting and correcting errors. Flow control. Elementary Data Link protocols. MAC Sub-level. Ethernet network. Packet switching
Switches. Virtual networks (VLAN)
Network level. Routing algorithms. Congestion Control. IP protocol. IP addresses. IPv6 protocol. ICMP protocol
Configuration via DHCP. ARP protocol
Transport layer. Transport layer services. Communication primitives. Transport layer protocols
Communication sockets.
Application level. Domain Name System (DNS)
Securing computer networks. Firewalls. Security models.
Java Technologies - 6 ECTS
Introductory Elements: Oracle Java Technologies: Java Standard Edition, Java Enterprise Edition, Java Micro Edition; Java basics: Character Set, Keywords, reserved words, identifiers, literals, separators, comments, operators, variables, expressions, instructions, Vectors, Strings, Arguments
Classes and Objects in Java: Objects and classes. Relations between classes. Relationships between objects; Creating Objects, Destroying Objects; Subclasses and inheritance, Variables "shadow", Overriding methods; Data Hiding and Encapsulation; Abstract classes. Interfaces
Exceptions and their handling: Exception handling, Throwing Exceptions; Class hierarchy exceptions, Special Exceptions; Advantage of exceptions handling;
Java Mini-applications programming (Applets): Basic concepts, restrictions, benefits; The structure of Java Applet; AWT graphics components; Handling events generated by AWT components; Java Applets: Tips & Tricks
Graphical interfaces in Java: Graphical User Interfaces; Interfaces Development; Java Foundation Classes (JFC); The MVC (Model View Controller); Java Swing components and library packages
Threads in Java: Java Thread state; Working with threads in Java: Extending Thread class, Runnable interface implementation; Threads Synchronization
Java Database Connectivity-JDBC: JDBC Drivers; Accessing a database using JDBC; Example
Java Servlets: Introduction; Working with servlets; Structure of Java Servlet; doGet() and doPost() methods; Example of implementation
Java Micro Edition: Configuration, Profile; CLDC Configuration: CLDC virtual machine specification, CLDC class library; MIDP Profile: MIDP Java Applications; Java archive file - JAR (Java Archive); Application descriptor file - JAD (Java Application Descriptor); Developing MIDlets
Probabilities and Mathematic Statistics - 6 ECTS
Combinatorial Analysis
Sample space and Events. Axioms of Probability. Conditional Probability. Bayes’s Formula. Independent Events.
Discrete Random Variables. Probability mass function. The cumulative distribution function. Expected value. Variance. The Bernoulli and binomial random variables.
The Poisson random variable. The Geometric Random Variable. The Negative Binomial Random Variable. The Hypergeometric Random Variable
Continuous Random Variables. Probability density function. The ccumulative distribution function. Expectation and variance of continuous random variables.
The Uniform Random Variable. Normal Random Variables. Exponential Random Variables
Jointly Distributed Random Variables
Properties of Expectation. Conditional Expectation. Moment Generating Functions
Covariance,Variance of Sums and Correlations
Limit Theorems. Chebyshev’s Inequality and the Weak Law of Large Numbers.
The Central Limit Theorem. The Strong Law of Large Numbers
Sampling theory. Estimation theory
Verification of statistical hypotheses
Linear correlation analysis. Linear regression. Linear regression analysis
Computational Methods Applied in Economy - 6 ECTS
General considerations: Key Concepts in Statistics, Applications of Statistics in Business
Statistical series and graphics
Computational models to analyze economic phenomena variation:The dimensional analysis, The two-dimensional analysis
Computational models to analyze the causal links between phenomena: Correlation - concept, types, Basic Methods in correlation analysis, Analytical methods in correlation analysis
Methods and techniques in computational analysis predicted: Time series. Definition and components, Methods and techniques of forecasting
Methodology for calculating the key indicators of economic dynamics:Determination of aggregate macroeconomic indicators, Methodological aspects of assessing and measuring inflationary process, Aspects of measuring employment and unemployment, Methodology for calculating the balance of payments
Determination of the dynamics of macroeconomic indicators: Evolution of the GDP, Dynamics inflationary process, The dynamics of employment and unemployment, Dynamic balance of payments
Main interdependent macroeconomic and socio-economic implications: Correlation between inflation and GDP, The correlation between unemployment and GDP,The correlation between unemployment and inflation
Prognosis and Classification - 6 ECTS
Introductory notions.
Regressive models.
Time series.
Classification methods: Bayesian classification, Decision trees, k-nearest neighbour
Clustering.
Sports - 1 ECTS
2
^{nd}
SEMESTER
Fundamental of Databases - 6 ECTS
Concepts and database issues
Designing logic databases
Database with hierarchical and network structures
Relational databases
Data query languages for the relational model
Restriction of integrity in databases: Functional dependencies,Multivalue dependencies
Modelling relational databases: Normal forms in the database, Relations normalization techniques
Physical structure of databases
The integrity and security of databases
Network Security - 6 ECTS
Information Security. Definition. Rate scheme. Presentation components. Principles of information security
Security Policies: Privacy policy, integrity policy, hybrid policy, one study interference between security policies, Audit of information security
Defining concepts and the links between: authentication, encryption, digital signature, CA, electronic voting. Coding versus encryption
Symmetric key encryption:definition, cryptographic device
Asymmetric key encryption. digital signature
Encryption key management
Protocols. Authentication protocols. AC. User authentication on the communication channel. Authentication scheme (Kerberos). Electronic money (digital cash). Blind transfer
Viruses. Definition. Attack mode. Methods of protection: Trojan horse,worm,boot sector infectors,executable infectors,multi-viruses,encrypted viruses,macro viruses,macro viruses,abbits and bacteria,logic bombs
Computer Network Security:firewalls,proxies,DMZ,mail server,WWW server,DNS server,log server,network flooding,intermediate hosts,CP state and memory allocations,anticipating attacks,Internet security protocols (PEM, S / MIME, PEM-MIME, MOSS, S-HTTP, SSL, PCT, S / WAN),
Security database. OS security. Email security
Ecommerce security
Cryptanalysis
Security Software. The development principles programs (secure design):Least privilege,fail-safe defaults,economy of mechanism,complete mediation,open design,separation of privilege,Least common mechanism,Psychological acceptability
Steganography (hiding information in images). Hidden images signature
Operating Systems Development - 5 ECTS
Concepts of operating systems. Structure of operating systems: monolithic systems, layered systems, virtual machines, client-server model. System calls: process management, signaling, file management, directory management, protection, time management. The internal structure of MINIX.
Processes. Process management in MINIX. Interprocess communication in MINIX. Processes scheduling in MINIX. Implementations of processes in MINIX: common header files, data structures, system initialization, interrupt handling, hardware dependent support.
Input/Output. Principles of I/O hardware. Principles of I/O software. Deadlocks. Overview of I/O in MINIX. Block devices in MINIX. Disks. Clocks. Terminals
Memory management. Concepts. Overview of memory management in MINIX. Implementation of memory management in MINIX. Memory layout. Message handling. Memory manager data structures and algorithms. The FORK, EXIT, and WAIT system calls. The EXEC system call. Signal handling.
File systems. Concepts. Protection mechanisms. Overview of the MINIX file system. Implementation of the MINIX file system: header files and global data structures, table management, operation on individual files, directories and paths, system calls.
Web Technologies - 5 ECTS
Introduction to Internet:Web Characteristics,Web Clients and Servers,Formatting models for Web Documents
Client/Server Model. HTTP Protocol
Design web pages using X(HTML) language:(X)HTML Tags,Structure of (X)HTML documents,Using tables, frames and forms
Formatting Web pages using Cascading Style Sheets (CSS)
eXtended Markup Language (XML):XML Document Syntax: elements, attributes, comments,XML Document Validation, Document Object Model (DOM),Processing XML documents
Formatting XML documents using XSLT
WEB Applications Programming:Server-Side: CGI (Common Gateway Interface). PHP Language, Client-side: JavaScript, AJAX, Publishing databases on the Web
Architecture, organization and maintenance of Web sites
Web application security
Search engine optimization (SEO)
Web Services:Service-Oriented Architecture: SOA,Web Services Description Language: WSDL,SOAP Protocol
Dynamical Systems - 5 ECTS
Definitions. ODE cases. Solutions - existence and uniqueness:Linear ODE;Qualitative aspects of the ODE;ODE systems (ODES) - linear ODES of the first order; ODE applications
Numarical resolution of ODE. The Runge-Kutta method. The time step control. Numerical and graphical model study.
Dynamical systems:Discret and continuous dynamical systems;Discrete dynamical systems;ontinuous dynamical systems
Applied Statistics - 5 ECTS
Practice - 3 ECTS
Sports - 1 ECTS
3
^{rd}
YEAR
1
^{st}
SEMESTER
Methods of Algorithms Analysis - 6 ECTS
Introduction to algorithms design. Methods for designing algorithms. The concept of algorithm. Features of algorithms
Turing machine. Variants of the Turing machine model. Deterministic and non-deterministic Turing machine. Turing machines and formal languages
Correctness of algorithms. Validate/verify algorithm correctness
Analyze the algorithms efficiency. Complexity analysis of algorithms. Execution time. The order of growth
Analysis of non-recursive algorithms. Estimate the time of execution (best-case, average-case, worst-case)
Asymptotic analysis and asymptotic notations: o, O, W, w, Q. Properties of asymptotic notations. Complexity classes
Analysis of recursive algorithms. Forward/backward substitution method. Iteration method. Master method. Trees recurrence method
Analysis of algorithms. Case Study: Towers of Hanoi. Correctness and complexity analysis
Inefficiency and incomputable algorithms
NP-Completeness. Deterministic algorithms. P and NP classes. NP-complete problems
Computer Graphics - 5 ECTS
Databases - 5 ECTS
Knowledge Bases - 5 ECTS
Aspects of knowledge representation: classes of knowledge, methods for knowledge representation and reasoning, knowledge bases, systems of knowledge representation and processing
Structured knowledge representation and processing: knowledge bases with frames, queries
Rewriting systems: Systems Lindenmayer, rewriting mechanisms: nodes rewriting and arcs rewriting, FASS curves
Semantic Networks: labeled graphs, semantic schemas, WordNet semantic network
Systems of knowledge representation and processing with production rules: Formalism. Inference Engine, Expert Systems
Knowledge representation in natural language processing: Classes of grammars and languages, grammars in Prolog representation, dependency grammars, text analysis with syntactic constituents, meaning of words - automatic disambiguation
Genetic Algorithms - 5 ECTS
Introduction to evolutionary computation : evolutionary computation specificity, fundamentals, areas of applicability
Search space and fitness function: coding search space (data structures, encoding rules: binary, integer, real, specific), building fitness function.
Selection methods: selection by rank, roulette method, proportionate fitness method, universal stochastic selection, truncation selection, local selection, tournament selection, comparison of selection methods
Crossover operator: binary crossover, real crossover, adjacent crossover, path crossover, ordinal crossover, matrix crossover
Mutation operator: binary mutation, real mutation, integer mutation, specific mutation
Reinsertion: local reinsertion, global reinsertion
Applications of genetic algorithms: optimization problems, NP-complete problems, applications in algebra
Schemes and blocks: definitions, characteristics, scheme theorem, blocks
Types of genetic algorithms: convergence problems, modified genetic algorithms, hillclimbing algorithm, simulated annealing algorithm, algorithms with variable size population, constrained algorithm, qualitative study
E-Commerce - 5 ECTS
Internet business management.
B2C E-commerce Model
Introduction to Online Content Distribution
Copyright Law
Sharing the P2P files and Internet music
XML and its relationship to B2B commerce
C2C E-commerce model
Internet Portals
Web Searching and Googl
The Open-source movement
Identity Management: Enterprise, E-commerce and Government applications and their implications for privacy
E-Mail Abuse: Spam and Viruses
Web Application Development - 5 ECTS
Introduction in JSP and Tomcat
Java Servlet Technology: Servlet Lifecycle; Information Sharing; Request Filtering; Sessions; Web Resources
Java Server Pages Technology: Basics; Scripting in JSP; JSP Documents; JSTL and custom tags in JSP
Java Server Faces Technology: Basic Components; Web Application Development with JSF Technology
Java Persistence API
Web Services: REST; SOAP
Bachelor Degree Paper (I) - 4 ECTS
2
^{nd}
SEMESTER
Parallel and Distributed Algorithms - 6 ECTS
Parallel and distributed architectures: Examples of distributed architectures parallel, parallel computing systems and their classification, synchronization problems in parallel and distributed algorithms
Synchronous algorithms:Algorithms for systems of linear equations and matrix inversion, iterative methods for nonlinear problems, unconstrained optimization - algorithms nonlinear, parallelization optimization problems, projection Algorithms
Asynchronous algorithms: Asynchronous algorithms, partially asynchronous iterative methods, gradient type methods, organizing a network processor asynchronous distributed computing
Numerical Computation - 5 ECTS
Equations and systems of linear equations: Newton's method, method of successive approximations, gradient method, Numerical methods for algebraic equations: Lobacevski method, Bairstow method, Bernoulli method, Steffenson method, calculating the limits and the number of real roots
Matrix. Systems of linear equations: Matrix triangularization procedures, matrix factorization procedure - LR, QR, Direct methods for solving linear systems, iterative methods for solving linear systems, determinants and matrix inversion calculation
Characteristic polynomial. Vectors and eigenvalues: Numerical methods for calculating the characteristic polynomial, jacobi and Givens methods for calculating and eigenvectors for symmetric matrices, method of power, LR and QR methods for calculating matrix and eigenvectors for some
Interpolation and approximation: Procedures interpolation: Lagrange, Newton, interpolation by spline functions
Finite differences. Numerical derivation: Finite differences - ascending, descending, central, numerical derivation methods
Numerical integration: Newton methods for simple integrals, numerical methods for multiple integrals, gauss methods
Formal Languages, Automata and Compilers - 6 ECTS
Grammars and languages: definitions, Chomsky classification, properties, recursion
Finite automata: definition, representation, completely deterministic finite automata, finite automata minimization, finite automata and regular languages
Context-free languages: properties, representation, simplification of the context free grammars
Pushdown automata: definition, operation, accepted languages by pushdown automata, equivalence with context-free languages accepted by pushdown automata
Special classes of context-free grammars: grammars in Chomsky normal form, non-recursive grammars, LL grammars, LR grammars, precedence grammars
Translation of languages: structure of a compiler, syntax-directed translation, finite translators, pushdown translators
Lexical analysis: overview, design of a lexical analyzer
Syntactic analysis: general algorithms, LL analysis, LR analysis, precedence analysis
Semantic analysis: semantic specification, semantic analysis model
Intermediate code generation: syntax trees, intermediate code with three addresses
Intermediate code optimization: simple optimization, global optimization, local optimization
Object code: types of object code, code optimization
Symbol table: types of tables, tree tables, hash tables
Error handling: error sources, correction techniques
Non-Procedural Programming - 5 ECTS
Introduction: Logic programming vs. functional programming; Examples
Logic programming. Prolog language:Data structure in Prolog ;Built-in predicates;Unification and recursion;Lists in Prolog ; Compound terms in Prolog ; I/O in Prolog; Backtracking and cut in Prolog; Graphs and trees in Prolog; Characters and strings; Dynamic databases
Functional programming. Lisp language:Numbers in Lisp; Lists; Arithmetic; Strings and characters; Symbols; Packages; Basic processing in Lisp; Function definition; Predicate functions; Conditional expressions; Recursion; Recursion
Programming Engineering - 5 ECTS
The main phases of software development process:Software development life-cycle;Conceptualization;Analysis;Design;Evolution;Maintenance;
The Unified Modelling Language (UML):Appearance and development;The use case diagram;The class diagram;The state diagram;The sequence diagram;The collaboration diagram;The activity diagram;Case Studies;
Application:System requirements specification;Requirements Analysis;Analysis of field;Architectural Design;Detailed design;Design of the user interface;Implementation
Coding standards
Design Patterns:Structural Patterns: Decorator, Composite, Creational Patterns: Abstract Factory;Behavioural Patterns: Iterator;Fundamental design patterns: Interface
Visual Programming Environments - 4 ECTS
Introductory Elements: History, Strategies in visual programming, visual programming languages classification
Visual programming language theory. Formal specification of visual programming languages. Analysis of visual programming languages.
Mechanisms of visual languages. Flow control, procedural abstraction, data abstraction.
Analysis of visual programming environments. Chimera. Visual imperative programming by demonstration. Forms / 3. Visual programming based on spreadsheets.
Analysis of visual programming environments. Prograph. Visual dataflow programming. Kids / Cocoa. Rule-based visual programming.
Analysis of visual programming environments. Cube. 3D visual programming languages. Visual programming and abstraction.
MIT visual programming environment (Google) App Inventor. Android system. Description, characteristics, capacities and limitations, types of applications.
Apple Xcode visual programming environment. Description. Features, capabilities and limitations, types of applications.
Visual programming environment Microsoft Visual C #. Description, characteristics, capacities and limitations, types of applications.
Designing Administration of Informatic Systems - 4 ECTS
Bachelor Degree Paper (II) - 4 ECTS
MSC Degree in Computer Science - Methods and Models in Artificial Intelligence
1
^{st}
YEAR
1
^{st}
SEMESTER
Advanced Data Bases - 8 ECTS
Distributed databases
Object-Oriented Databases
Object-Oriented
Deductive Databases
Data warehousing
Multidimensional databases
OLAP (On-line Analytical Processing)
Multimedia databases
Temporal databases
Spatial databases
Decision support systems
Ordered Algebraic Structures - 8 ECTS
Topisc in theory of categories
The category of orderes sets
The category of bounded distributive lattices
The category of some ordered algebras of classical logic (Boole, Stone, Heyting, Hilbert, etc);
The category of some ordered algebras of fuzzy logic (Residuated lattices, MV-algebras, BL-algebras);
Computer Vision - 8 ECTS
OpenCV library. Instalation and generalities
Loading, printing and saving images
Creation of a GUI application using QT for image processing
Accessing values for pixels from an image
Image processing using classes
The histogram of an image
Defining regions of interest in images
Image content detection using the histogram
Transformation of images by morphological operations
Image filtering
Line, contour and component extraction
Structural analysis
Applications that use the web camera
Scientific Research Methodology in Computer Science (I) - 6 ECTS
What is research?
How to pick a research subject
How to read scientific articles
Problem formulation
Evaluation and validation
Conference and journal publishing
Writing technical reports (incl. dissertation)
Paper presentation
Writing grant proposals
Ethics
Exploratory Data Analysis - 8 ECTS
Introduction: Data type. Descriptive statistics. Graphical representation of a Data set. Analysis of the distributions of variables. Statistical tests. (5 hours)
Regressive models: Correlation matrix; scatter plot. Linear regression. Non linear regression (polynomial anf mixed exponential). Multilinear regression. Logistic regresion. Notions of survival analysis. Cox proportional hazard model. Additive models. (6 hours)
Time series: Preliminary notions. Smoothing methods. Forecasting using the time series’ trend. Forecasting using time series’ trend and seasonal components. Dynamic models based on time series: adjustment models, autopredictive models, ARIMA model. (7 hours)
Clustering: Similarity measures, k-means algorithm. Hierarchical clustering. (4 hours)
Multivariate exploratory techniques: Factor analysis. Principal components analysis. Canonical analysis.Discriminant analysis. OLAP. Anomaly detections. (6 hours)
Human-Computer Interaction - 8 ECTS
Human-Computer Interfaces
Interface and Interaction
Input/Output Devices
Designing Human-Computer Interaction
Human Abilities
Interaction as Information Processing
Ergonomic Criteria
Interaction Styles
Definition of Usability. How to Improve Usability
User Interfaces
Types of User Interfaces
Direct Manipulation Interfaces: Windows, Icons, Menus
Tools for Creating User Interfaces/li>
Intelligent Dialogue Systems
The Understanding Computer
Intelligent Dialogue Systems
Natural Language Interfaces
Computational Linguistics
Syntactic and Semantic Analysis
Machine Translation
Voice-user Interfaces
Voice Synthesis Technologies: Speech Synthesis with Java FreeTTS, Natural Language Generation
Speech Recognition Technologies: Hidden Markov Models, Speech Understanding, Voice Recognition. Microsoft Speech API. Java Speech API
2
^{nd}
SEMESTER
Web Technologies and E-Learning - 8 ECTS
Design process and specific programmes for e-learning (1.1. Computer assisted education. Brief history, definition,terminology, The introduction of technology in academia and e-learning, Examples of e-learning projects )
Models and techniques for computer-assisted learning( Models of learning and delivery lessons with computer system, Tutorials, exercises, simulations, games, educational Web sites, Web technologies used for designing educational software, Open class and model of network learning, Video conferencing and on-line training)
Delivery Technologies. Navigating documents in Internet(Educational programs, virtual universities, Distance learning projects, Web publications (car) instruction,Performance obtained with the help of online courses )
Online education and distance education(Brief history on Internet, The concept of Hypertext,Finding information on the Web using search engines, Educational portals )
ISDN Networks: virtual network Environments and e-learning(Designing Web pages, Educational Web pages. Principles of organization and design, Performing applications to create Web)
Publishing online a website (From offline to online: final preparation of a website, Promoting a Web site, Updating HTML documents, Identity management components, Feed-back Web site )
Data Mining - 8 ECTS
Scientific Research Methodology in Computer Science (II) - 6 ECTS
Steps in scientific research
Study manner in Computer Science research domain
Components of a scientific paper
Consistency in scientific research
Team work in a scientific research project
Scientific research team management
The development of research projects for national and international competitions
Scientific papers editing
Scientific presentations preparation
Deductive Systems in Artificial Intelligence - 8 ECTS
Deductive systems in classical logic
Deductive systems in some fuzzy logic
Deductive systems in some algebras of classical logic (Hilbert, Heyting, Boole, etc);
Deductive systems in some algebras of fuzzy logic (Residuated lattices, Wajsberg algebras, MV-algebras, BL-algebras, pseudo MV – algebras, pseudo BL –algebras, etc).
2
^{nd}
YEAR
1
^{st}
SEMESTER
Neuronal and evolutionary Computing - 8 ECTS
Introduction to neural computation: characteristics of neural networks, history of neural computation, biological neuron, architecture and usage of a neural netw
Networks with a single layer: simple perceptron, variants of simple perceptron, multiple perceptron;
Unidirectional multi-layer networks: back propagation with one hidden layer, back propagation with multiple hidden layers, variants of back propagation
Associative memories : linear association networks type, bidirectional associative memories (MAB), types of MAB, Hopfield networks with discrete time, auto-associative recurrent memory
Networks with radial activation functions: network structure, network training
Set of cooperating neural networks: operating principle , architecture, training
Introduction to evolutionary computation: generalities, basic notions, encoding methods, selection methods
Evolution operators: selection, crossover, mutation, reintegration
Special classes of genetic algorithms: contraction algorithm, algorithms with varying population size, constraints algorithms, messy genetic algorithms, virus – evolutionary genetic algorithms
Evolutionary strategies : generalities, evolutionary operators, types of evolutionary strategies, convergence study
Evolutionary programming : generalities, representation of individuals, applications in optimization problems
Genetic programming: representation of individuals , initial population, evolution operators, running programs
Web Data Management - 8 ECTS
Bioinformatics - 8 ECTS
Foundations of computational biology.
Comparing genes: a. Common maximal subsequence problem. Graphical methods comparison of genes b. Gene alignment by dynamic programming
Genetic classification. Clustering methods
Gene evolution. Trees of phylogeny.
Molecular Computing. Autonomous and non-autonomous DNA computing models
Multiagent Systems - 8 ECTS
Getting started with multi-agent systems. Descriptions, Applicability.
Agents Architectures. Classifications, BDI architecture, mobile agents, intelligent agents.
Modeling agents reasoning. Game theory, motion charts.
Modeling agents reasoning. Nash equilibrium games in cooperating with agents, sequential games.
Communication in multi-agent systems. Types of communication in multi-agent systems. Communication languages for agents. Ontologies.
Negotiating in multi-agent systems. Problems negotiation. Approaches based on game theory.
Negotiating in multi-agent systems. Approaches based on heuristics. Argument based approaches.
Multi-agent systems for knowledge processing. MAKPS system structure, description of system components, system communication, system functionality.
Multi-agent systems development platforms. JADE, Jason.
Disertation Paper Drafting (I) - 6 ECTS
2
^{nd}
SEMESTER
Intelligent Systems for Control and Classification - 8 ECTS
Fuzzy sets: basic notions, operations (fundamental, based on t-operators)
Fuzzy numbers, fuzzy relations
Uncertainty: possibility and necessity measures, belief and plausability functions, Dempster’s rule
Knowledge representation: linguistic variables, fuzzy implications, rules representation
Reasoning methods: generalized modus ponens, uncertain and imprecise reasoning methods
Fuzzy logic control systems: structure, types of fuzzy control systems (Mamdani, Tsukamoto, Sugeno, Larsen), extended systems
Adaptive Neuro Fuzzy Inference System (ANFIS)
Evolutionary neural networks: parameters evolution, architecture evolution, evolutionary learning
Neuro - evolutionary classification methods: neural network structure, evolutionary determination of classification rules, refining of extracted rules
Mathematical Optimizations in Artificial Intelligence - 8 ECTS
Machine Learning - 8 ECTS
Introduction
R - the language and software
Supervised learning - an overview
The design of learning machines
Linear methods for classification and regression
Support vector machines
Neural networks
Decision trees
Ensemble methods
Clustering
Evaluation and selection of models
Missing data
Variable selection and reduction
Advanced Methods of Chryptographic Analysis - 8 ECTS
The notion of security systems analysis. Definition. Classical models. Current models
Security level audit
Security policies in distributed systems
Cryptographic Analysis
Symmetric encryption systems
Multidimensional
Asymmetric encryption systems)
Pseudorandom generator systems
Digital signatures
Steganography
Security systems in computer networks
Banking Security Systems (Online Payments, Cards
Standards and methodologies of defense against security attacks information systems Security models used in environments maximum protection
User level security
The study of individual computer systems security
Models used cryptographic security network structures
Security in computer networks. WAN
Security of parallel computing
Implementation of classical models in distributed systems
Methods of ensuring information security in order to protect against Viruses, Worms and Trojan Horses
Detection of network systems penetration
Application layer security
Systems to ensure security at the hardware level
Disertation Paper Drafting (II) - 6 ECTS
MSC Degree in Computer Science - Advanced Techniques for Information Processing
1
^{st}
YEAR
1
^{st}
SEMESTER
Advanced Database Systems - 8 ECTS
Computer Vision - 8 ECTS
OpenCV library. Instalation and generalities
Loading, printing and saving images
Creation of a GUI application using QT for image processing
Accessing values for pixels from an image
Image processing using classes
The histogram of an image
Defining regions of interest in images
Image content detection using the histogram
Transformation of images by morphological operations
Image filtering
Line, contour and component extraction
Structural analysis
Applications that use the web camera
Distributed Computing - Principles and Algorithms - 6 ECTS
Enterprise Application Development - 8 ECTS
2
^{nd}
SEMESTER
Human-Computer Interaction - 8 ECTS
Human-Computer Interfaces
Interface and Interaction
Input/Output Devices
Designing Human-Computer Interaction
Human Abilities
Interaction as Information Processing
Ergonomic Criteria
Interaction Styles
Definition of Usability. How to Improve Usability
User Interfaces
Types of User Interfaces
Direct Manipulation Interfaces: Windows, Icons, Menus
Tools for Creating User Interfaces/li>
Intelligent Dialogue Systems
The Understanding Computer
Intelligent Dialogue Systems
Natural Language Interfaces
Computational Linguistics
Syntactic and Semantic Analysis
Machine Translation
Voice-user Interfaces
Voice Synthesis Technologies: Speech Synthesis with Java FreeTTS, Natural Language Generation
Speech Recognition Technologies: Hidden Markov Models, Speech Understanding, Voice Recognition. Microsoft Speech API. Java Speech API
Combinatorial Algorithms Optimization - 8 ECTS
Software technologies and data processing - 7 ECTS
Project Management - 7 ECTS
Advanced Technics on Information Security - 7 ECTS
Electronic Commerce and Marketing - 7 ECTS
2
^{nd}
YEAR
1
^{st}
SEMESTER
Machine Learning - 7 ECTS
Introduction
R - the language and software
Supervised learning - an overview
The design of learning machines
Linear methods for classification and regression
Support vector machines
Neural networks
Decision trees
Ensemble methods
Clustering
Evaluation and selection of models
Missing data
Variable selection and reduction
Software Engineering - 8 ECTS
Optimization Techniques - 7 ECTS
One-dimensional line search descent methods: Golden section, Powell’s quadratic interpolation, bisection method, Newton’s method
First order multidimensional line search descent methods: steepest descent method, Fletcher-Reeves conjugate gradient
Second order multidimensional line search descent methods: modified Newton's method, quasi-Newton methods
Constrained non-linear optimization: Kuhn-Tucker conditions, penalty methods, admissible steering method
Introduction to evolutionary computation: basic notions, coding methods, evolution operators (selection, crossover, mutation, reinsertion)
Special classes of genetic algorithms: contraction algorithms, variable population algorithms, constrained algorithms, messy genetic algorithms, virus evolutionary genetic algorithm
Evolutionary strategies: generalities, evolutionary operators, evolutionary strategies types, convergence study
Evolutionary programming: general aspects, population representation, optimization applications
Advanced Topics in Computer Networks - 7 ECTS
Geographic Information Systems - 5 ECTS
Distributed Architectures Web Services Oriented - 5 ECTS
Dissertation Preparation - I - 3 ECTS
2
^{nd}
SEMESTER
Computational Intelligence - 8 ECTS
Fuzzy sets: definitions, operations, fuzzy numbers
Uncertainty: possibility and necessity measures, belief functions
Approximate:reasoning: knowledge reprezentation, Generalized Modus Ponens
Fuzzy logic control systems: structure, fuzzy controllers models
Neural computing methods: neural network structure, perceptron model, backpropakation network , bidirectional associative memories, unsupervised learning
Evolutionary computation principles: algorithm structure, selection and evolution operators, evolutionary computation applications
Hybrid methods: neuro-fuzzy, neuro-evolutionary, fuzzy-evolutionary
Cryptanalysis - 8 ECTS
Advanced Documents Management - 5 ECTS
Stochastic Modeling. Applications and Simulations - 5 ECTS
Introduction. Descriptive Statistics.
Advanced Linear and Additive Models
Multivariate Exploratory Techniques
Anomaly detection
Artificial neural networks
Economic Modelling Processes - 5 ECTS
Methodology of Training in Computer Science - 5 ECTS
Dissertation Preparation - II - 4 ECTS