Логика, автоматы, алгоритмы

Логика, автоматы, алгоритмы

Bibliographic Details
Main Author:	Айзерман, Марк Аронович
Other Authors:	Гусев, Л. А., Розоноэр, Лев Ильич
Format:	eBook
Language:	Russian
Published:	[Б. м. б. и. 200-?]
Subjects:	математическая логика последовательные машины конечные автоматы однотактные релейно-контактные схемы динамические системы релейно-контактная техника монографии
Online Access:	http://sun.tsu.ru/limit/2016/000240468/000240468.djvu Перейти в каталог НБ ТГУ

Similar Items

Применение логики при решении задач энергообеспечения зданий: некоторые аспекты использования логики релейно-контактных схем в сфере строительства
by: Прядко, И. П.

Релейно-гистерезисное управление ценой товара при наличии склада (диффузное приближение)
by: Терпугов, Александр Федорович 1939-2009

Релейно-гистерезисное управление потоком моментов продажи скоропортящейся продукции
by: Лившиц, Климентий Исаакович

Математическая модель деятельности склада
by: Терпугов, Александр Федорович 1939-2009

Синтез систем управления движением поездов на железнодорожных станциях с исключением опасных отказов
by: Сапожников, Владимир Владимирович
Published: (2021)

Электрооборудование и электропривод машин учебное пособие
by: Астапенко, Эдуард Степанович
Published: (2013)

Булева структура и ее модели
by: Яглом, Исаак Моисеевич 1921-1988
Published: (2020)

Лекции по математической логике [учебное пособие для математических направлений и специальностей университетов]
by: Романович, Владимир Александрович
Published: (2005)

Создание информационной системы "Автоматы"
by: Сапунков, Глеб Г.

Классика программирования: алгоритмы, языки, автоматы, компиляторы практический подход
by: Мозговой, Максим В.
Published: (2006)

Математическая логика и теория алгоритмов [учебное пособие по специальности 032100 "Математика"]
by: Игошин, Владимир Иванович
Published: (2004)

Математическая логика и теория алгоритмов [учебное пособие для вузов по специальности "Математика"]
by: Игошин, Владимир Иванович
Published: (2010)

Шифр на основе отображения Эно
by: Скобелев, В. Г.

Математическая модель деятельности Фонда социального страхования при экспоненциальных страховых выплатах и со случайными расходами на социальные программы
by: Вальц, Ольга Викторовна

Discrete structures and automata theory
by: Dube, Rakesh
Published: (2006)

Дискретная математика учебное пособие для вузов
by: Мальцев И. А.
Published: (2022)

Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 050201 "Математика"]
by: Игошин, Владимир Иванович
Published: (2008)

Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 032100 "Математика"]
by: Игошин, Владимир Иванович
Published: (2005)

Недетерминированные автоматы: анализ и синтез [учебное пособие]
by: Евтушенко, Нина Владимировна
Published: (2006)

Конечные автоматы (поведение и синтез)
by: Трахтенброт, Борис Авраамович
Published: (1970)

Недетерминированные автоматы: анализ и синтез [учебное пособие]
by: Евтушенко, Нина Владимировна
Published: (2009)

Testing digital circuits: studying the increment of the number of states and estimating the fault coverage

Машины-автоматы учебное пособие
by: Мальцев М. В. Максим Валерьевич
Published: (2023)

FSMTest-1.0: a manual for researches
by: Shabaldina, Natalia V

Дискретные автоматы на полурешетках
by: Агибалов, Геннадий Петрович 1939-2020

Refining the specification FSM when deriving test suites w.r.t. the reduction relation
by: Tvardovskii, Aleksandr

On the length of homing sequences for nondeterministic finite state machines
by: Kushik, Natalia G.

Some classes of finite state machines with polynomial length of distinguishing test cases
by: Yenigün, Hüsnü

Adaptive homing is in P
by: Kushik, Natalia G.

Дискретные автоматы на полурешетках
by: Агибалов, Геннадий Петрович 1939-2020
Published: (1993)

Дискретная математика учебное пособие
by: Мальцев, Иван Анатольевич
Published: (2011)

Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
by: Громов, Максим Леонидович
Published: (2009)

Логические методы анализа и синтеза схем
by: Поспелов, Дмитрий Александрович
Published: (1974)

Создание игровой логики. Практикум учебное пособие для вузов
by: Капанов А. А.
Published: (2023)

Parameter estimation of an unstable autoregression by sample of fixed size
by: Dogadova, Tatiana V.

Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic FSMs
by: Kushik, Natalia G.

Языки программирования, формальные грамматики, конечные автоматы и методы трансляции учебное пособие
by: Горчаков, Леонид Всеволодович
Published: (2011)

Дискретная математика учебное пособие для вузов
by: Мальцев, И. А.
Published: (2022)

Использование временных автоматов при тестировании киберфизических систем
by: Громов, Максим Леонидович

Управление процессом контактной точечной микросварки циркониевых сплавов
by: Акболатов, Е. Ж.