• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Of all publications in the section: 13
Sort:
by name
by year
Book
Авдошин С. М., Набебин А. А. М.: ДМК Пресс, 2019.

The book contains the necessary information from the algorithm theory, graph theory, combinatorics. It is considered partially recursive functions, Turing machines, some versions of the algorithms (associative calculus, the system of substitutions, grammars, Post's productions, Marcov's normal algorithms,  operator algorithms). The main types of graphs are described (multigraphs, pseudographs, Eulerian graphs, Hamiltonian graphs, trees, bipartite graphs, matchings, Petri nets, planar graphs, transport nets). Some algorithms often used in practice on graphs are given. It is considered classical combinatorial configurations and their generating functions, recurrent sequences. It is put in a basis of the book long-term experience of teaching by authors the discipline «Discrete mathematics» at the business informatics faculty, at the computer science faculty of National Research University Higher School of Economics, and at the automatics and computer technique faculty of National research university Moscow power engineering institute. The book is intended for the students of a bachelor degree, trained at the computer science faculties in the directions 09.03.01 Informatics and computational technique, 09.03.02 Informational systems and technologies, 09.03.03 Applied informatics, 09.03.04 Software Engineering, and also for IT experts and developers of software products.

Added: Aug 24, 2018
Book
Авдошин С. М., Набебин А. А. М.: ДМК Пресс, 2017.

The textbook contains necessary information about universal and classical algebras, systems of axioms for the basic algebraic structures (groupoid, monoid, semi-groups, groups, partial orders, rings, fields). The basic cryptographic algorithms are described. Error-correcting codes - linear, cyclic, BCH are considered. Algorithms for designing of such codes are given. Many examples are shown. It is put in a basis of the book long-term experience of teaching by authors the discipline «Discrete mathematics» at the business informatics faculty, at the computer science faculty of National research university Higher school of economics, and at the automatics and computer technique faculty of National research university Moscow power engineering institute. The book is intended for the students of a bachelor degree, trained at the computer science faculties in the directions 09.03.01 Informatics and computational technique, 09.03.02 Informational systems and technologies, 09.03.03 Applied informatics, 09.03.04 Software Engineering, and also for IT experts and developers of software products.

Added: Aug 19, 2016
Book
Авдошин С. М., Набебин А. А. М.: ДМК Пресс, 2018.

The textbook contains the basic information of formal logical systems. It is Boolean functions, Post’s theorem on functional completeness, the k-valued logic, derivatives of Boolean functions, axiomatic calculi for propositions, for predicates, for sequentions, for resolutions. Programming language Prolog and axiomatic programming language OBJ3 are introduced. Problems of  monadic logic, of finite automata and of the represented by them languages, of temporal logic are considered. Many examples are shown. It is put in a basis of the book long-term experience of teaching by authors the discipline «Discrete mathematics» at the business informatics faculty, at the computer science faculty of National research university Higher school of economics, and at the automatics and computer technique faculty of National research university Moscow power engineering institute. The book is intended for the students of a bachelor degree, trained at the computer science faculties in the directions 09.03.01 Informatics and computational technique, 09.03.02 Informational systems and technologies, 09.03.03 Applied informatics, 09.03.04 Software Engineering, and also for IT experts and developers of software products.

Added: Dec 2, 2017
Book
Воловиков В. В., Дектерев М. Л., Кофанов Ю. Н. и др. М.: ДМК Пресс, 2014.
Added: Mar 13, 2015
Book
Подбельский В. В., Фомин С. С. М.: ДМК Пресс, 2012.
Added: Jun 1, 2012
Book
Новиков Б. А., Горшкова Е. А., Графеева Н. Г. М.: ДМК Пресс, 2020.
Added: Mar 19, 2020
Book
Новиков Б. А., Горшкова Е. А. М.: ДМК Пресс, 2019.
Added: Mar 15, 2019
Book
Зуева А. Г., Всяких Е., Сидоренко Е. и др. ДМК Пресс, 2007.
Added: Mar 18, 2016
Book
Романов А. Ю., Панчул Ю., Романова И. И. и др. М.: ДМК Пресс, 2020.
Added: Jan 1, 2021