Infopaket

Current issues of bioinformatics

ДВС.1.05

Вибіркова дисципліна для ОП

Second

2022/2023

3 Semester

4

PLO01. Know and systematically apply methods of analysis and modeling of the application area, identifying information needs and collecting source data for software design. PLO07. It is reasonable to choose paradigms and programming languages to solve applied problems; apply in practice system and specialized tools, component technologies (platforms) and integrated software development environments. PLO08. Conduct analytical research on the parameters of software systems for their validation and verification, as well as analyze the selected methods, tools for automated design and implementation of software. PLO11. Acquire new scientific and professional knowledge, improve skills, predict the development of software systems and information technology.

Distance form

1. Know: basics of elementary mathematics, discrete mathematics, algebra, mathematical logic and theory of algorithms, programming, theory of formal systems, neural networks. 2. Be able to: analyze automatic languages. 3. Have skills: development and implementation of algorithms in programming languages.

The aim of the discipline - "Current issues of bioinformatics" is to expand knowledge of formal languages and grammars and the theory of multisets with the subsequent application of knowledge in the formalization of processes used in DNA calculations. As a result of studying the discipline the student must: know the basic definitions of the theory of formal languages and grammars, the definition of the theory of multisets, the basic concepts of the structural organization of nucleic acids, the mechanisms of reproduction and realization of genetic information; be able to formalize the biological processes of DNA molecules and apply the results to solve problems of DNA computation.

1. Blizard W.D. The Development of Multiset Theory / Wayne D. Blizard // Notre Dame Journal of Formal Logic. – 1989. – Vol. 30, No. 1. – P. 36–66. 2. Davey B.A. Introduction to Lattice and Order / B.A. Davey, H.A. Priestly. – Cambridge: Cambridge University Press, 1990. – 248 p.

Lectures, laboratory work, independent work, tests, homework, cedit.

1. Test 1: LO 1.1, LO1.2 - 20 points / 12 points. 2. Test 2: LO 1.2, LO1.3 - 20 points / 12 points. 3. Independent work 1: LO2.1, LO3.1, LO4.1, LO4.2 – 30 points /18 points. 4. Independent work 2: LO2.1, LO3.1, LO4.1, LO4.2 – 30 points /18 points. - final evaluation (in the form of a test)

Ukrainian