Functional programming
Databases
Boolean function
Analysis of medical images
Verification of digital devices
Kudryavtsev K. Ya. Functional programming: lecture notes [Electronic resource]. Moscow.: MEPhI, 2020. - 112 p.
Content:
1. Functional approach to software development
2. Syntax and structure of programs
3. Recursion
4. Work with lists
5. High order functions
6. Trees and sets in Haskell
7. Input / output in Haskell
8. Monads and functors
9. Debugging in Haskell
Radygin V. Yu., Kupriyanov D. Yu. Databases: fundamentals, design, development of the information systems, projects: a course of lectures. Tutorial material [Electronic resource]. Moscow.: MEPhI, 2020. - 244 p.

Content:
1. Introduction to database theory. Data model. DBMS. History. Relational model (mathematical basis) and Codd's 12 rules
2. SQL. DDL component (basics)
3. SQL. DML component
4. PL/SQL.
5. The database design. Theory of normal forms. IDEF1X. Database design projects
6. SQL. DDL component (views, sequences, procedures, functions, triggers, indexes). DCL and TCL components
7. Application development using databases. Security. Project for modification of the reference application
8. Modern object and NOSQL technologies. Google Cloud technologies
Epishkina A. V. Boolean functions and their application: a course of lectures [Electronic resource]. Moscow: MEPhI, 2020. - 72 p.

Content:
1. Elementary Boolean functions and ways to set them
2. Normal forms of Boolean functions
3. Spectral representation of Boolean functions
4. Completeness and closure of Boolean function systems
5. Minimization of Boolean functions
6. Classification of Boolean functions
7. Special properties of Boolean functions and nonlinear mappings
Trofimov A. G. Analysis of medical images: a course of lectures. Tutorial material [Electronic resource]. Moscow: MEPhI, 2020. - 132 p.

Content:
1. Introduction to medical image analysis
2. Mathematical foundations of image processing
3. Methods for improving the contrast of the images
4. Methods of selection and improve borders
5. Methods of noise eliminating
Skitev A. A. Verification of digital devices: a course of lectures. Tutorial material [Electronic resource]. Moscow: MEPhI, 2020. - 92 p.

Content:
1. Verification. The purpose and approaches;
2. SystemVerilog – the basics of the language;
3. SystemVerilog – object-oriented part of the language;
4. UVM structure of the test environment;
5. UVM basic elements of the test environment and phase;
6. UVM generation of test sequences;
7. UVM test and virtual sequences;
8. Approvals and functional coverage.
Запрос материалов
Для сотрудников НИЯУ МИФИ данные учебные пособия доступны в электронной библиотеке университета
Ваши ФИО
Ваш e-mail
Ваша организация
Необходимые материалы
Бумажная копия
Нажимая на кнопку, вы даете согласие на обработку персональных данных c целью получения учебных материалов и соглашаетесь c политикой конфиденциальности.