Приложения алгебры высказываний в математической логике учебно-методическое пособие

Приложения алгебры высказываний в математической логике учебно-методическое пособие

Данное пособие содержит достаточно большой набор задач, решаемых различными методами алгебры высказываний, и необходимые пояснения к каждому из них. Пособие предназначено для организации практических занятий по математической логике, а также для самостоятельной и индивидуальной работы студентов I–II...

Descripció completa

Guardat en:

Dades bibliogràfiques
Autor principal:	Кислицин, А. В. (070)
Format:	Книга
Matèries:	математическая логика логическая операция логическая задача алгебра уравнение
Accés en línia:	Перейти к просмотру издания
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

Элементы математической логики учебное пособие для спо
per: Ткаченко, С. В.

Приложения алгебры высказываний в математической логике учебно-методическое пособие
per: Кислицин А. В.
Publicat: (2018)

Математическая логика учебно-методическое пособие
per: Трунтаева, Т. И.

Математическая логика и теория алгоритмов учебное пособие
per: Вайнштейн, Ю. В.

Элементы математической логики. Решение задач в симуляторе цифровых логических схем LogicCircuit практикум для спо
per: Седов, В. А.

Указания по выполнению РГР по дисциплине «Математическая логика и теория алгоритмов» учебно-методическое пособие
per: Мачикина, Е. П.

Логика учебное пособие
per: Марюшкин, М. Г.

Логика учебное пособие
per: Светлов, В. А.

Логика учебное пособие
per: Балтовский, Л. В.

Логика учебное пособие
per: Шадрин, Д. А.

Язык программирования SWI-Prolog учебно-методическое пособие
per: Гутман, Г. Н.

Основы математической обработки информации учебное пособие
per: Мирзоев, М. С.

Дискретная математика учебное пособие
per: Бекарева, Н. Д.

Лекции по дискретной математике и математической логике учебное пособие
per: Шмырин, А. М.

QBASIC в математике. Решение задач с помощью компьютера. Ч.1
per: Ставнистый, Н. Н.

Логика высказываний учебное пособие
per: Гуров, С. И.

Информатика. Основы программирования на языке Pascal учебное пособие
per: Волобуева, Т. В.

Сущность логической подготовки младших школьников учебное пособие для студентов высших учебных заведений педагогических специальностей
per: Чиркова, Н. И.

Основы цифровой техники учебное пособие
per: Микушин, А. В.

Информатика в задачах, примерах, алгоритмах
per: Алиев, В. К.

Логика учебник для студентов высших учебных заведений
per: Берков, В. Ф.

Логические и арифметические основы и принципы работы ЭВМ учебное пособие
per: Гуров, В. В.

Элементы математической логики практикум
per: Атяскина, Т. В.

Логика и аргументация учебное пособие
per: Иванова, В. А.

Задачник по математической логике и теории алгоритмов учебное пособие
per: Мачикина, Е. П.

Психология мышления
per: Гурова, Л. Л.

Методика обучения доказательству с использованием средств естественного вывода при изучении курса математики основной школы монография
per: Лукьянова, Е. В.

Аппаратные средства вычислительной техники учебное пособие
per: Шкелев, Е. И.

Уравнения математической физики учебно-методическое пособие
per: Янов, С. И.

Математическая логика и теория алгоритмов учебное пособие
per: Михальченко, Г. Е.

Уравнения математической физики учебно-методическое пособие
per: Голубева, Н. Д.

Дискретная математика учебник
per: Судоплатов, С. В.

Административное право России. Общая часть учебное пособие в схемах
per: Ростовцева, Ю. В.

Спецглавы математики и их приложения к задачам электромеханики и теории управления курс лекций
per: Катрахова, А. А.

Вычислительные методы алгебры и анализа учебное пособие
per: Бояршинов, М. Г.

Схемотехническое построение элементов электронно-вычислительных машин учебно-методическое пособие
per: Запонов, Э. В.

Введение в нейронные сети учебное пособие
per: Барский, А. Б.

Контрольные задания по общеобразовательному курсу «Информатика» практикум
per: Маляров, А. Н.

Компетентностный подход в изложении фундаментальных основ алгебры и геометрии учебное пособие

Маркетинг конспект лекций в структурно-логических схемах
per: Атрушкевич, Е. Б.