1. Каталог книг
  2. Формальные системы
Чтение online
Недоступно
Рейтинг издания
Поделиться:

Формальные системы. Практикум

Издательство:
Издательский Дом МИСиС
Авторы:
Зайцева Е.В.
Год издания:
2019
ISSN:
2227-8397
Тип издания:
практикум
DOI:
не присвоен узнать подробнее

Об издании

Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».

Библиографическая запись

Зайцева Е.В. Формальные системы : практикум / Зайцева Е.В.. — Москва : Издательский Дом МИСиС, 2019. — 36 c. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/98926.html (дата обращения: 30.03.2026). — Режим доступа: для авторизир. пользователей

РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ

Автоматизированный электропривод тепловых сетей

Алиев И.И.

(Ай Пи Ар Медиа)

Аналитическая геометрия на плоскости: дистанционные динамические расчетные проекты

Богун В.В.

(Ай Пи Ар Медиа)

Аналоговые скремблеры речевых сигналов с примерами в проектах LabVIEW

Корниенко В.Т.

(Ай Пи Ар Медиа)

Английский язык для студентов направления подготовки «Правовое обеспечение национальной безопасности» = Legal English for Students of Law and National Security Program. В 2 частях. Ч. 1

Попов Е.Б.

(Ай Пи Ар Медиа)

Архитектура ЭВМ

Мамойленко С.Н., Майданов Ю.С.

(Профобразование)

Атлас абдоминальной хирургии. Т.1. Хирургия печени, желчных путей, поджелудочной железы и портальной системы

Итала Э.

(Медицинская литература)

Атомные и тепловые электрические станции: надежность эксплуатации, системы безопасности

Хрусталёв В.А., Юрин В.Е.

(Ай Пи Ар Медиа)

Беспилотные летательные аппараты

Козлова А.Т., Исаев А.В.

(Ай Пи Ар Медиа)

C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ

Радиоэлектронная борьба: воздействие электромагнитным излучением на среду распространения радиоволн

Дмитриев В.Г., Куприянов А.И., Перунов Ю.М.

(Инфра-Инженерия)

Дорожные энергетические установки. Современные концепции конструктивных схем и результаты исследований

(Ай Пи Ар Медиа)

Контроль качества продукции и услуг общественного питания

Еремеева Н.Б.

(Профобразование)

Любовь в эпоху ненависти

Иллиес Ф.

(Ад Маргинем Пресс)

Технология производства бетонных работ при возведении монолитных фундаментов одноэтажных и многоэтажных промышленных зданий. Альбом исходных данных для курсового проектирования

Петров Е.В., Коробков С.В.

(Томский государственный архитектурно-строительный университет, ЭБС АСВ)

Многопартийность в России в начале ХХ века

Шелохаев В.В.

(Политическая энциклопедия)

Инновационный менеджмент в строительстве

Аристова М.В., Егорова М.С.

(Санкт-Петербургский государственный архитектурно-строительный университет, ЭБС АСВ)

Экономические и политические процессы в мире и Кыргызстане в глобальной политике

Нуралиев Н.А.

(Международный университет Кыргызстана)

Этот сайт использует «cookies». Условия использования «cookies» см. в Пользовательском соглашении. Также сайт использует инструменты для сбора технических данных касательно посетителей с целью получения маркетинговой и статистической информации. Условия обработки данных посетителей сайта см. в Политике конфиденциальности. В случае несогласия с обработкой данных, просим покинуть сайт Принять условия