chdmitr2/20596-Prolog-and-Artificial-Intelligence chdmitr2/20596-Prolog-and-Artificial-Intelligence

  • Stars
    star
    2
  • Language
    Prolog
  • Created over 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chdmitr2/20596-Prolog-and-Artificial-Intelligence
github

chdmitr2

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Objectives: Familiarity with a logical programming language; Learning the principles, methods and techniques of artificial intelligence and their implementation in Prolog. Topics: Part I: The Prolog language � Introduction to Prolog; syntax and meaning of Prolog programs; lists, operators, arithmetic; programming examples; controlling backtracking; built-in predicates; programming style and technique; operations on data structures. Part II: Prolog in artificial intelligence � problem-solving as search; heuristic search and A* algorithm; best-first search; problem decomposition and AND/OR graphs; expert systems and knowledge representation; games � the minimax principle, the alpha-beta algorithm.

More Repositories

1

22913-Digital-Image-Proccesing

Image processing is an application of computer science that deals with digital image and video processing. Students study the theoretical and practical foundations required for computer image processing and analysis. The course is accompanied by the MATLAB software package for image and signal processing. Previous knowledge of MATLAB is not required. Topics: Representation of digital images on the computer � basic concepts, grayscale image representation, color images and color models, binary image; Image enhancement � discrete Fourier transform, uses of FFT for image enhancement (sharpening, smoothing, deblurring, reducing cyclical interference), convolution and correlation and their relationship to Fourier transform, KLT transform; Image restoration � grayscale histograms, contrast and brightness, filters for removing noise, smoothing, sharpening and edge detection, filter analysis using Fourier analysis; Geometric operations on images, warping and morphing � interpolation using convolution, image enlargement, image reduction, image transformations, morphing; Image compression � basic concepts of information theory, image compression models, use of FFT and DCT for image compression, image compression standards; Video � video capture and compression, movement prediction, and video compression standards.
MATLAB
2
star
2

Bank

ADO.NET Connection Mode OOP 20586
C#
1
star
3

20407-Data-Structures-and-Introduction-to-Algorithms

The course is based on a translation of the first 14 chapters of Introduction to Algorithms (2nd ed.), by T.H. Cormen, C.E. Leiserson, R.L. Rivest, and C. Stein (MIT Press, 2001). The course acquaints students with basic concepts and methods related to algorithms and data structures development. Formal criteria for analyzing an algorithmic solution to a given problem are defined.
C
1
star
4

20594-Operating-Systems

The course is based on Modern Operating Systems (3rd ed.), by A.S. Tanenbaum (Prentice Hall, 2007), as well as a study guide. Note: Several printings of the 3rd edition with completely identical content are available on the market. Students will be supplied with the most recent printing available. The materials include a learning aid that describes system calls in UNIX and explanations of its use, and material that deals with installing and running the Linux system. The course has two main objectives: Acquaintance with the design and structural principles underlying every modern operating system and practical application of these principles through advanced programming exercises in a Linux operating system. The course includes theoretical tasks and programming exercises in C on Linux that require skill in C programming.
C
1
star