Nabebin A. A., М. : Научный мир, 2009
Пособие содержит набор индивидуальных заданий с примерами решений для студентов по курсу дискретной математики и предназначено для обеспечения самостоятельной работы студентов по освоению курса. Пособие предназначено для студентов высших учебных заведений, специализирующихся в областях прикладной математики, вычислительной техники, программирования, информатики. ...
Added: May 28, 2012
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь : Тверской государственный университет, 2021
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Added: November 12, 2023
Дехтярь М. И., Dudakov S., Карлов Б. Н., Тверь : Тверской государственный университет, 2021
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Added: November 12, 2023
N. Nikitina, A. Mitsyuk, Proceedings of the Institute for System Programming of the RAS 2015 Vol. 27 No. 3 P. 219-236
Process models and graphs are commonly used for modeling and visualization of processes. They may represent sets of objects or events linked with each other in some way. Wide use of models in such languages engenders necessity of tools for creating and editing them.
This paper describes the model editor which allows for dealing with classical ...
Added: August 18, 2015
Vikentyeva O., Morozenko V. V., Plotnikova E. G. et al., Пермь : ИЦ «Титул», 2020
Данный учебник и практикум представляет основные разделы дисциплины «Дискретная математика»: множества, комбинаторика, графы. Учебник и практикум содержит необходимый теоретический материал, излагаемый в доступной форме и иллюстрированный большим количеством примеров, а также разнообразные по содержанию и сложности задания для самостоятельного решения.
Учебник и практикум подготовлен на основе многолетнего опыта работы авторов и апробирован на практических занятиях в ...
Added: November 16, 2020
Zykov S. V., Андрианова Е. Г., Жуков Д. О. et al., Российский технологический журнал 2018 Т. 7 № 1 С. 4-45
The relevance of scientific research in the field of quantum informatics is grounded. Highlighted promising areas of research. For foreign and Russian publications and materials, an overview of the main scientific results characterizing the current state of quantum informatics has been made. It is concluded that knowledge and resources are most intensively invested in the ...
Added: January 31, 2019
Pham S. K., Antipov D., Sirotkin Alexander et al., Journal of Computational Biology 2013 Vol. 20 No. 4 P. 359-371
One of the key advances in genome assembly that has led to a significant improvement in contig lengths has been improved algorithms for utilization of paired reads (mate-pairs). While in most assemblers, mate-pair information is used in a post-processing step, the recently proposed Paired de Bruijn Graph (PDBG) approach incorporates the mate-pair information directly in ...
Added: March 21, 2014
М. : МАКС Пресс, 2015
Сборник трудов содержит работы, представленные участниками 9-ой Международной конференции "Дискретные модели в теории управляющих систем", проходившей 20-22 мая в Красновидово (Московская обл.) ...
Added: October 12, 2015
Vyalyi M., Гурвич В. А., Математическое просвещение 2012 № 16 С. 75-88
Между конечными ультраметрическими пространствами, остовами минимального веса на графах, а также потоками и узкими местами в сетях имеются интересные связи, на которых авторы и сосредоточились в этой статье. ...
Added: October 18, 2014
Babash A. V., Ларин Д. А., М. : РИОР, 2013
Учебное пособие знакомит студентов с историей криптографической защиты информации. Оно написано в соответствии с программой ФГОС 3-го поколения по дисциплинам направления «Криптографические методы защиты информации. Пособие предназначено для студентов высших учебных заведений, обучающихся по направлению информационной безопасности и прикладной информатики. ...
Added: January 22, 2014
СПб. : СПб, Изд-во Политехн.ун-та, 2019
Приводятся тезисы докладов, отражающие теоретические и практические проблемы обеспечения безопасности информационных технологий, а также вопросы подготови и переподготовки специалистов в этом направлении. ...
Added: September 9, 2019
М. : МЦНМО, 2003
Издание содержит материалы конференции, проходившей в МГУ 17-18 октября 2002 г. ...
Added: October 17, 2014
Baulin E., Roytberg M. A., Математическая биология и биоинформатика 2015 Т. 10 № 1 С. 54-59
пространственная структура РНК, мультиплет, стем, псевдоузел, линк, граф ...
Added: March 30, 2015
Babash A. V., М. : ИНФРА-М, РИОР, 2014
Пособие предназначено для студентов высших учебных заведений, обучающихся по специальности «Прикладная информатика (в экономике)». Оно также содержит методический материал для ряда инновационных курсов лекций по профилю «Информационная безопасность» и может быть использовано и для блока дисциплин этого профиля. Ряд представленных результатов полезен специалистам и аспирантам, специализирующихся в указанной области. ...
Added: January 14, 2014
Avdoshin S. M., Savelieva A., Бизнес-информатика 2009 № 2 С. 3-11
В статье рассмотрены основные этапы развития криптологии – науки, объединяющей криптографию и криптоанализ и ставшей в эпоху компьютеризации одной из наиболее активно развивающихся областей знаний. Показано, каким образом достижения в области взлома шифров влияют на прогресс в области криптографии, а успехи криптографов становятся катализатором для криптоаналитических исследований. ...
Added: September 28, 2012
М. : МАКС Пресс, 2018
В сборнике представлены труды десятой международной конференции "Дискретные модели в теории управляющих систем" (Москва и Подмосковье, 23-25 мая 2018 г.). Тематика конференции включает следующие направления: дискретные функциональные системы, свойства дискретных функций, синтез и сложность управляющих систем, надежность, контроль и диагностика управляющих систем, автоматы, теория графов, комбинаторика, теория кодирования, математические методы защиты информации, теория распознавания образов, ...
Added: August 27, 2018
Babash A. V., М. : ИНФРА-М, РИОР, 2013
Пособие предназначено для студентов высших учебных заведений, обучающихся по специальности «Прикладная информатика (в экономике)». Оно также содержит методический материал для ряда инновационных курсов лекций по профилю «Информационная безопасность» и может быть использовано и для блока дисциплин этого профиля. Ряд представленных результатов полезен специалистам и аспирантам, специализирующихся в указанной области. ...
Added: January 14, 2014
Твардовский А. С., Evtushenko N. V., Труды Института системного программирования РАН 2019 Т. 31 № 4 С. 175-188
Finite State Machine (FSM) based approaches are widely used for deriving tests with guaranteed fault coverage for discrete event systems and as the behavior of many nowadays information and control systems depends on time, classical FSMs are extended by clock variables. Moreover, optionality in the real system’s specifications motivates the studying test derivation against models ...
Added: March 13, 2020
МГУ, МАКС Пресс, 2018
The proceedings of the tenth international conference "Discrete Models in Control Systems Theory" (Moscow and Moscow Region, May 23-25, 2018) includes 100 papers on such topics as discrete functional systems, properties of discrete functions, synthesis and complexity of control systems, reliability, control and diagnostics of control systems, automata, graph theory, combinatorics, coding theory, mathematical methods ...
Added: June 14, 2018
Avdoshin S. M., Набебин А. А., М. : ДМК Пресс, 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 ...
Added: August 19, 2016
Ravishankar V., Tyers F. M., Gatt A., Procedia Computer Science 2017 Vol. 117 P. 175-182
This article describes the development of a free/open-source morphological description of Maltese, originally created as the analysis component in a rule-based machine translation system for Maltese to Arabic and later applied to other tasks. The lexicon formalism we use is lttoolbox, part of the Apertium machine translation platform. An evaluation of the analyser shows that ...
Added: November 10, 2017
Сергей Кузнецов, Коршунов А. В., Алексиянц А. В., Открытые системы. СУБД 2014 № 2 С. 51-53
Популярные сегодня социальные сети в реальном времени работают с гигантскими объемами данных, что требует применения соответствующих СУБД, в частности графовых, однако и среди них нужно отбирать наиболее адекватные поставленным задачам. ...
Added: November 25, 2017
М. : РИО МИЭМ НИУ ВШЭ, 2014
Методические указания к лабораторной работе 7 по дисциплине «Информационные технологии в управлении качеством и защита информации» предназначены для студентов третьего курса дневного отделения. Целью лабораторной работы является ознакомление студентов с основами криптографии. ...
Added: June 4, 2014
Avdoshin S. M., Набебин А. А., М. : ДМК Пресс, 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 ...
Added: December 2, 2017