Спецглавы математики: учебное пособие/

Спецглавы математики: учебное пособие/ Ч. 3, Математическая логика. Булевы функции

Показать другие варианты (1)

Библиографическая информация
Главный автор:	Смыслова, Зинаида Александровна (Автор)
Другие авторы:	Смыслова, З. А. Зинаида Александровнаaut, Пермякова, Н. В. Наталья Викторовнаaut
Формат:	Книга
Публикация:	Томск: ТМЦДО 2002
Предметы:	УЧЕБНЫЕ ПОСОБИЯ ДИСТАНЦИОННОЕ ОБУЧЕНИЕ ЛОГИКА ВЫСКАЗЫВАНИЙ КОНЕЧНЫЕ АВТОМАТЫ
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

Похожие документы

Спецглавы математики: учебное пособие/
по: Смыслова, Зинаида Александровна
Публикация: (2001)

Спецглавы математики: учебное пособие/
по: Смыслова, Зинаида Александровна
Публикация: (2004)

Спецглавы математики: Учебное пособие/
по: Пермякова, Наталья Викторовна
Публикация: (2000)

Спецглавы математики: Учебное пособие/
по: Смыслова, Зинаида Александровна
Публикация: (2000)

Основы конечной математики для психологов Учебное пособие
по: Пухначева, Татьяна Павловна
Публикация: (2001)

Дискретная математика: Учебник для вузов/
по: Давыдова, Е. М. Елена Михайловна, et al.
Публикация: (2006)

Discrete structures and automata theory
по: Dube, Rakesh
Публикация: (2006)

Спецглавы математики: учебное пособие/
по: Пермякова, Наталья Викторовна
Публикация: (2002)

Дискретная математика учебное пособие для студентов вузов
по: Куликов, Валерий Васильевич математик
Публикация: (2007)

Математические основы информатики Пособие для студентов специальности G 31 03 04 "Информатика"
по: Мощенский, Андрей Владимирович
Публикация: (2002)

Логика. Автоматы. Алгоритмы: научное издание/
по: Айзерман, М. А. Марк Аронович, et al.
Публикация: (1963)

Лингвистическое программное обеспечение САПР: учебное пособие/
по: Песков, М. А. Михаил Андреевич, et al.
Публикация: (2010)

Спецглавы информатики электронный курс
по: Алфёрова, Е. А. специалист в области машиностроения доцент Юргинского технологического института (филиала) Томского политехнического университета, кандидат физико-математических наук 1982-
Публикация: (2019)

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

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

Some classes of finite state machines with polynomial length of distinguishing test cases
по: Yenigün, Hüsnü

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

Элементарное введение в математическую логику Пособие для учителей
по: Столяр, Абрам Аронович
Публикация: (1965)

Дискретная математика: учебное пособие/
по: Смыслова, З. А. Зинаида Александровна
Публикация: (2000)

Избранные главы дискретной математики учебное пособие
по: Марченков, Сергей Серафимович
Публикация: (2023)

Теория автоматов: Учебник для вузов/
по: Карпов Юрий Глебович
Публикация: (2002)

Спецглавы информатики / ДО 2017 электронный курс
по: Ларионова, Е. В. химик доцент Томского политехнического университета, кандидат химических наук 1978-
Публикация: (2018)

Adaptive homing sequences for partial weakly-initialized observable FSMs
по: Vinarskii, Evgenii

Математические вопросы кибернетики [сборник статей]
Публикация: (2005)

Математическая логика [Учебное пособие для математических специальностей педагогических институтов]
по: Столяр, Абрам Аронович
Публикация: (1991)

Философия математики. Основные программы обоснования математики ХХ столетия [учебное пособие для студентов вузов по направлению 540400 (050400) "Социально-экономическое образование"
по: Светлов, Виктор Александрович 1945-
Публикация: (2010)

A practical approach for testing timed deterministic finite state machines with single clock
по: El-Fakih, Khaled

К минимизации автоматов с таймаутами
по: Твардовский, Александр Сергеевич

Об обратимости конечных автоматов с конечной задержкой
по: Катеринский, Денис Аркадьевич

Исследование свойств различающих последовательностей для двухбуквенных конечных автоматов
по: Твардовский, Александр Сергеевич

О сложности проверки существования установочных последовательностей для недетерминированных автоматов
по: Кушик, Наталья Геннадьевна

Некоторые задачи идентификации состояний для недетерминированных автоматов
по: Евтушенко, Нина Владимировна
Публикация: (2018)

Автоматы с распределенной памятью: /
по: Захаров, В. Н. Валерий Николаевич
Публикация: (1975)

К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов

Locating a faulty component of an EFSM composition
по: Prokopenko, Svetlana A.

Параллельная композиция конечных автоматов с таймаутами
по: Кондратьева, Ольга Викторовна

Использование свойств мутационных автоматов для минимизации проверяющих тестов
по: Эль-Факи, Калед

Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
по: Твардовский, Александр Сергеевич

Логика высказываний и предикатов. Неклассическая логика учебное пособие для студентов специальности 030101.65 Философия
по: Ненашев, Михаил Иванович
Публикация: (2009)

О возможностях автоматного описания параллельной композиции временных автоматов
по: Твардовский, Александр Сергеевич