А 95 Аханова, Марина Анатольевна. Математическая логика и теория алгоритмов : учебное пособие / М. А. Аханова, В. В. Линг ; Тюменский индустриальный университет. - Тюмень : ТИУ, 2018. - 80 с. : табл. ; 21 см. - (university). - Библиогр.: с. 80 (6 назв.). - 500 экз.. - ISBN 978-5-9961-1954-0 : 150.00 р. Содержание: Основные понятия о законах и формах мышления Алгебра логики (алгебра высказываний) Логико-математические языки. Теория моделей
Рубрики: Математическая логика -- Учебные издания для высших учебных заведений Алгоритмов теория -- Учебные издания для высших учебных заведений Кл.слова (ненормированные): логико-математический анализ -- теория множеств -- теория доказательств -- язык логики -- алгоритм Вонга -- Вонга алгоритм -- логические законы Аннотация: Учебное пособие разработано для студентов очной формы обучения направления 01.03.02 "Прикладная математика и информатика" профиль "Прикладное программирование и компьютерные технологии" и предназначено для использования в рамках дисциплин "Дискретная математика" и "Математическая логика и теория алгоритмов". Учебное пособие содержит важнейшие определения, теоремы и формулы, подробные примеры решения типовых задач, задания для самостоятельного решения и контрольные вопросы для самопроверки. Держатели документа: Тюменская ОНБ : Орджоникидзе, 59 Доп. точки доступа: Линг, Виктория Викторовна тюменский автор, но не о Тюменской области Тюменский индустриальный университет\\ Экземпляры всего: 2 КХ (С 7) (2) Свободны: КХ (С 7) (2) |