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

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

Show other versions (1)

Bibliographic Details
Main Author:	Смыслова, Зинаида Александровна (Author)
Other Authors:	Смыслова, З. А. Зинаида Александровнаaut, Пермякова, Н. В. Наталья Викторовнаaut
Format:	Book
Published:	Томск: ТМЦДО 2002
Subjects:	УЧЕБНЫЕ ПОСОБИЯ ДИСТАНЦИОННОЕ ОБУЧЕНИЕ ЛОГИКА ВЫСКАЗЫВАНИЙ КОНЕЧНЫЕ АВТОМАТЫ
Online Access:	Перейти в каталог Библиотеки ТУСУР

Similar Items

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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̈

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

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

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

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

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

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

Математические вопросы кибернетики [сборник статей]
Published: (2005)

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

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

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

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

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

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

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

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

Математическая логика. Курс лекций и практических занятий: Учебное пособие для вузов/
by: Шапорев, С. Д. Сергей Дмитриевич
Published: (2005)

Математическая логика и теория алгоритмов: учебное пособие/
by: Игошин, В. И. Владимир Иванович
Published: (2010)

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

Логика учебное пособие
by: Агапов, Евгений Петрович 1951-
Published: (2014)

Логика учебное пособие : [для студентов бакалавриата]
by: Агапов, Евгений Петрович 1951-
Published: (2015)

Логика высказываний: язык, алгебра, исчисления учебное пособие : [по программе бакалавриата по социально-экономическим и гуманитарным направлениям подготовки]
by: Кислов, Алексей Геннадьевич
Published: (2012)

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

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