Пропуск в контексте

Математическая логика методические указания по решению задач

Методические указания предназначены для решения задач по дисциплине ЕН.02 «Элементы математической логики» для студентов специальности 09.02.04 Информационные системы (по отраслям) очной формы обучения. В указаниях приведены краткие теоретические сведения, примеры решения задач, задания для самостоя...

Полное описание

Сохранить в:
Библиографические подробности
Главный автор: Шнарева, Г. В. (070)
Формат: Книга
Темы:
Online-ссылка:Перейти к просмотру издания
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
LEADER 03634nam0a2200361 4500
001 RU/IPR SMART/89486
856 4 |u https://www.iprbookshop.ru/89486.html  |z Перейти к просмотру издания 
801 1 |a RU  |b IPR SMART  |c 20250903  |g RCR 
010 |a 2227-8397 
205 |a Математическая логика  |b 2029-12-06 
333 |a Гарантированный срок размещения в ЭБС до 06.12.2029 (автопролонгация) 
100 |a 20250903d2019 k y0rusy01020304ca 
105 |a y j 000zy 
101 0 |a rus 
102 |a RU 
200 1 |a Математическая логика  |e методические указания по решению задач  |f Г. В. Шнарева 
700 1 |a Шнарева,   |b Г. В.  |4 070 
330 |a Методические указания предназначены для решения задач по дисциплине ЕН.02 «Элементы математической логики» для студентов специальности 09.02.04 Информационные системы (по отраслям) очной формы обучения. В указаниях приведены краткие теоретические сведения, примеры решения задач, задания для самостоятельного решения. Данные методические указания соответствуют учебной программе курса «Элементы математической логики» для специальностей 09.02.04 Информационные системы (по отраслям). Учебная дисциплина «Элементы математической логики» входит в математический и общий естественнонаучный цикл и направлена на формирование базового уровня знаний, необходимых для освоения общепрофессиональных дисциплин и профессиональных модулей. Целью пособия является оказание методической помощи студентам при выполнении практических заданий по этой дисциплине. Целью выполнения практических работ является формирование у обучающихся навыков применения методов математической логики к решению логических задач. Методические указания к практическим работам содержат тему, цель, теоретические сведения, методические указания по решению задач и задания на выполнения. 
210 |a Симферополь  |c Университет экономики и управления  |d 2019 
610 1 |a математика 
610 1 |a логические задачи 
610 1 |a эквивалентные преобразования 
610 1 |a понятие предиката 
610 1 |a кванторы 
675 |a 517.9 
686 |a 22.18  |2 rubbk 
300 |a Книга находится в премиум-версии IPR SMART. 
106 |a s 
230 |a Электрон. дан. (1 файл) 
336 |a Текст 
337 |a электронный 
503 0 |a Доступна эл. версия. IPR SMART 
215 |a 70 с.