Показать виджеты
Скрыть виджеты
22 декабря 2024 активны на платформе
51 400 -53
Преподавателей
640 661 -1166
Студент
Версия для слабовидящих

Корзина

Позиций
Стоимость 0
Перейти в корзину
Войдите или зарегистрируйтесь, чтобы получить все преимущества платформы Юрайт!

ПРОГРАММИРОВАНИЕ: МАТЕМАТИЧЕСКАЯ ЛОГИКА

Используют: 84 вуза 38 преподавателей 61 студент
бакалавриат магистратура специалитет аспирантура
4 зачетных единицы
144 академ/часа
8 часов в неделю
Доступно к покупке
Оплаченный доступ к контенту предоставляется только на платформе, а также онлайн и офлайн в мобильном приложении
Оплаченный доступ к контенту
предоставляется только на платформе, а
также онлайн и офлайн в мобильном
приложении
Скачивание контента в
PDF недоступно
Скачивание контента в PDF недоступно
  • О курсе
  • Авторы
  • Программа курса
  • Методика

О курсе

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.
Базовый учебник
Серия
Высшее образование
Тематика/подтематика
Технические науки и информационные технологии / Программирование
Дисциплины
Программирование , Математическая логика и теория алгоритмов , Теория и технология программирования , Методы программирования , Математическая логика , Основы программирования , Прикладное программирование , Программирование для ЭВМ , Введение в программирование , Семантика языков программирования , Программируемые логические интегральные схемы (ПЛИС) , Разработка устройств на базе программируемых логических интегральных схем , Программирование на ЭВМ , Основы математической логики , Программируемые логические схемы , Модельно-ориентированное исследование промышленных объектов и систем , Программируемые логические интегральные схемы , Практико-ориентированное вхождение в профессию , Введение в математическую логику , Формальная верификация моделей программного обеспечения
Направления подготовки/Специальности/Профессии
11.03.01 Радиотехника,
11.03.04 Электроника и наноэлектроника,
11.04.01 Радиотехника,
11.04.04 Электроника и наноэлектроника,
12.03.01 Приборостроение,
15.04.04 Автоматизация технологических процессов и производств,
44.03.01 Педагогическое образование,
42.03.01 Реклама и связи с общественностью,
11.04.02 Инфокоммуникационные технологии и системы связи,
38.04.02 Менеджмент,
44.03.01.08 Педагогическое образование (Информатика),
44.03.01.10 Педагогическое образование (Математика),
01.03.02 Прикладная математика и информатика,
01.03.03 Механика и математическое моделирование,
01.04.02 Прикладная математика и информатика,
01.04.03 Механика и математическое моделирование,
02.03.01 Математика и компьютерные науки,
02.04.01 Математика и компьютерные науки,
10.05.01 Компьютерная безопасность,
10.05.02 Информационная безопасность телекоммуникационных систем,
10.05.03 Информационная безопасность автоматизированных систем,
10.05.04 Информационно-аналитические системы безопасности,
10.05.05 Безопасность информационных технологий в правоохранительной сфере,
11.03.03 Конструирование и технология электронных средств,
11.05.01 Радиоэлектронные системы и комплексы,
12.03.03 Фотоника и оптоинформатика,
12.04.03 Фотоника и оптоинформатика,
12.05.01 Электронные и оптико-электронные приборы и системы специального назначения,
13.03.02 Электроэнергетика и электротехника,
14.03.01 Ядерная энергетика и теплофизика,
16.03.03 Холодильная, криогенная техника и системы жизнеобеспечения,
18.03.02 Энерго- и ресурсосберегающие процессы в химической технологии, нефтехимии и биотехнологии,
19.03.01 Биотехнология,
27.03.03 Системный анализ и управление,
27.03.04 Управление в технических системах,
27.03.05 Инноватика,
27.04.01 Стандартизация и метрология,
27.04.05 Инноватика,
30.05.03 Медицинская кибернетика,
44.03.04 Профессиональное обучение (по отраслям),
44.03.05 Педагогическое образование (с двумя профилями подготовки),
45.03.04 Интеллектуальные системы в гуманитарной сфере,
09.05.01 Применение и эксплуатация автоматизированных систем специального назначения,
10.05.07 Противодействие техническим разведкам,
09.03.01 Информатика и вычислительная техника,
10.03.01 Информационная безопасность,
01.03.01 Математика,
01.03.04 Прикладная математика,
09.03.04 Программная инженерия,
09.03.03 Прикладная информатика,
45.03.02 Лингвистика,
02.03.03 Математическое обеспечение и администрирование информационных систем,
09.03.02 Информационные системы и технологии,
27.03.02 Управление качеством,
38.03.05 Бизнес-информатика,
09.04.03 Прикладная информатика,
02.04.03 Математическое обеспечение и администрирование информационных систем,
09.04.02 Информационные системы и технологии,
01.04.04 Прикладная математика,
09.04.01 Информатика и вычислительная техника,
09.04.04 Программная инженерия,
10.05.06 Криптография,
01.06.01 Математика и механика,
06.06.01 Биологические науки,
09.06.01 Информатика и вычислительная техника,
10.06.01 Информационная безопасность,
44.04.01.08 Педагогическое образование (Информатика),
02.03.02 Фундаментальная информатика и информационные технологии,
02.04.02 Фундаментальная информатика и информационные технологии,
11.05.02 Специальные радиотехнические системы,
12.03.02 Оптотехника,
12.03.04 Биотехнические системы и технологии,
12.03.05 Лазерная техника и лазерные технологии,
13.03.01 Теплоэнергетика и теплотехника,
13.03.03 Энергетическое машиностроение,
15.03.01 Машиностроение,
15.03.02 Технологические машины и оборудование,
15.03.03 Прикладная механика,
15.03.04 Автоматизация технологических процессов и производств,
15.03.05 Конструкторско-технологическое обеспечение машиностроительных производств,
15.03.06 Мехатроника и робототехника,
15.05.01 Проектирование технологических машин и комплексов,
16.03.01 Техническая физика,
16.04.01 Техническая физика,
20.03.01 Техносферная безопасность,
21.03.01 Нефтегазовое дело,
21.05.04 Горное дело,
22.03.01 Материаловедение и технологии материалов,
23.03.01 Технология транспортных процессов,
23.03.02 Наземные транспортно-технологические комплексы,
23.03.03 Эксплуатация транспортно-технологических машин и комплексов,
23.05.01 Наземные транспортно-технологические средства,
23.05.02 Транспортные средства специального назначения,
23.05.03 Подвижной состав железных дорог,
23.05.05 Системы обеспечения движения поездов,
24.03.02 Системы управления движением и навигация,
24.03.03 Баллистика и гидроаэродинамика,
26.03.02 Кораблестроение, океанотехника и системотехника объектов морской инфраструктуры,
38.05.02 Таможенное дело,
11.05.04 Инфокоммуникационные технологии и системы специальной связи,
13.05.01 Тепло- и электрообеспечение специальных технических систем и объектов,
13.05.02 Специальные электромеханические системы,
11.03.02 Инфокоммуникационные технологии и системы связи,
38.03.03 Управление персоналом,
38.03.02 Менеджмент,
45.03.03 Фундаментальная и прикладная лингвистика,
11.05.03 Применение и эксплуатация средств и систем специального мониторинга,
15.05.02 Роботехника военного и специального назначения,
37.03.01 Психология,
37.04.01 Психология,
01.05.01 Фундаментальные математика и механика,
03.03.01 Прикладные математика и физика,
03.03.03 Радиофизика,
03.05.01 Астрономия,
04.03.01 Химия,
04.03.02 Химия, физика и механика материалов,
04.05.01 Фундаментальная и прикладная химия,
05.03.01 Геология,
05.03.03 Картография и геоинформатика,
05.03.04 Гидрометеорология,
05.03.05 Прикладная гидрометеорология,
06.03.02 Почвоведение,
06.05.01 Биоинженерия и биоинформатика,
07.03.01 Архитектура,
07.03.02 Реконструкция и реставрация архитектурного наследия,
07.03.03 Дизайн архитектурной среды,
07.03.04 Градостроительство,
08.04.01 Строительство,
08.05.01 Строительство уникальных зданий и сооружений,
23.05.06 Строительство железных дорог, мостов и транспортных тоннелей,
08.05.02 Строительство, эксплуатация, восстановление и техническое прикрытие автомобильных дорог, мостов и тоннелей,
14.03.02 Ядерные физика и технологии,
14.05.01 Ядерные реакторы и материалы,
14.05.02 Атомные станции: проектирование, эксплуатация и инжиниринг,
14.05.03 Технологии разделения изотопов и ядерное топливо,
16.03.02 Высокотехнологические плазменные и энергетические установки,
16.05.01 Специальные системы жизнеобеспечения,
17.03.01 Корабельное вооружение,
17.05.01 Боеприпасы и взрыватели,
17.05.02 Стрелково-пушечное, артиллерийское и ракетное оружие,
17.05.03 Проектирование, производство и испытание корабельного вооружения и информационно-управляющих систем,
18.03.01 Химическая технология,
18.05.01 Химическая технология энергонасыщенных материалов и изделий,
18.05.02 Химическая технология материалов современной энергетики,
19.03.02 Продукты питания из растительного сырья,
19.03.03 Продукты питания животного происхождения,
19.03.04 Технология продукции и организация общественного питания,
20.03.02 Природообустройство и водопользование,
20.05.01 Пожарная безопасность,
21.03.02 Землеустройство и кадастры,
21.03.03 Геодезия и дистанционное зондирование,
21.05.01 Прикладная геодезия,
21.05.02 Прикладная геология,
21.05.03 Технология геологической разведки,
21.05.05 Физические процессы горного или нефтегазового производства,
22.03.02 Металлургия,
23.05.04 Эксплуатация железных дорог,
24.03.01 Ракетные комплексы и космонавтика,
24.03.04 Авиастроение,
24.03.05 Двигатели летательных аппаратов,
24.05.01 Проектирование, производство и эксплуатация ракет и ракетно-космических комплексов,
24.05.02 Проектирование авиационных и ракетных двигателей,
24.05.03 Испытание летательных аппаратов,
24.05.04 Навигационно-баллистическое обеспечение применения космической техники,
24.05.05 Интегрированные системы летательных аппаратов,
24.05.06 Системы управления летательными аппаратами,
24.05.07 Самолето- и вертолетостроение,
25.03.01 Техническая эксплуатация летательных аппаратов и двигателей,
25.03.02 Техническая эксплуатация авиационных электросистем и пилотажно-навигационных комплексов,
25.03.03 Аэронавигация,
25.03.04 Эксплуатация аэропортов и обеспечение полетов воздушных судов,
25.05.01 Техническая эксплуатация и восстановление боевых летательных аппаратов и двигателей,
25.05.02 Техническая эксплуатация и восстановление электросистем и пилотажно-навигационных комплексов боевых летательных аппаратов,
25.05.03 Техническая эксплуатация транспортного радиооборудования,
25.05.04 Летная эксплуатация и применение авиационных комплексов,
25.05.05 Эксплуатация воздушных судов и организация воздушного движения,
26.03.01 Управление водным транспортом и гидрографическое обеспечение судоходства,
26.05.01 Проектирование и постройка кораблей, судов и объектов океанотехники,
26.05.02 Проектирование, изготовление и ремонт энергетических установок и систем автоматизации кораблей и судов,
26.05.03 Строительство, ремонт и поисково-спасательное обеспечение надводных кораблей и подводных лодок,
26.05.04 Применение и эксплуатация технических систем надводных кораблей и подводных лодок,
26.05.05 Судовождение,
26.05.06 Эксплуатация судовых энергетических установок,
26.05.07 Эксплуатация судового электрооборудования и средств автоматики,
27.03.01 Стандартизация и метрология,
27.05.01 Специальные организационно-технические системы,
28.03.01 Нанотехнологии и микросистемная техника,
28.03.02 Наноинженерия,
28.03.03 Наноматериалы,
29.03.01 Технология изделий легкой промышленности,
29.03.02 Технологии и проектирование текстильных изделий,
29.03.03 Технология полиграфического и упаковочного производства,
29.03.04 Технология художественной обработки материалов,
29.03.05 Конструирование изделий легкой промышленности,
30.05.01 Медицинская биохимия,
30.05.02 Медицинская биофизика,
35.03.01 Лесное дело,
35.03.02 Технология лесозаготовительных и деревоперерабатывающих производств,
35.03.03 Агрохимия и агропочвоведение,
35.03.04 Агрономия,
35.03.05 Садоводство,
35.03.06 Агроинженерия,
35.03.07 Технология производства и переработки сельскохозяйственной продукции,
35.03.08 Водные биоресурсы и аквакультура,
35.03.09 Промышленное рыболовство,
35.03.10 Ландшафтная архитектура,
14.05.04 Электроника и автоматика физических установок,
27.05.02 Метрологическое обеспечение вооружения и военной техники,
05.03.02 География,
03.03.02 Физика,
05.03.06 Экология и природопользование,
38.03.01 Экономика,
06.03.01 Биология,
44.04.01 Педагогическое образование,
01.03.05 Статистика,
35.03.11 Гидромелиорация,
05.05.01 Метеорология специального назначения,
05.05.02 Военная картография,
17.05.04 Технологии веществ и материалов в вооружении и военной технике,
26.03.03 Водные пути, порты и гидротехнические сооружения,
21.05.06 Нефтегазовые техника и технологии,
44.04.01.01 Педагогическое образование (Безопасность жизнедеятельности),
44.04.01.02 Педагогическое образование (Биология),
44.04.01.03 Педагогическое образование (География),
44.04.01.04 Педагогическое образование (Дополнительное образование),
44.04.01.05 Педагогическое образование (Дошкольное образование),
44.04.01.06 Педагогическое образование (Изобразительное искусство),
44.04.01.07 Педагогическое образование (Иностранные языки),
44.04.01.09 Педагогическое образование (История),
44.04.01.10 Педагогическое образование (Математика),
44.04.01.11 Педагогическое образование (Музыка),
44.04.01.12 Педагогическое образование (Начальное образование),
44.04.01.13 Педагогическое образование (Обществознание, экономика, право),
44.04.01.14 Педагогическое образование (Русский язык и литература),
44.04.01.15 Педагогическое образование (Технологии),
44.04.01.16 Педагогическое образование (Физика),
44.04.01.17 Педагогическое образование (Физическая культура),
44.04.01.18 Педагогическое образование (Химия)
Свернуть
Еще 234

Программа курса

Свернуть все темы
Развернуть все темы

Введение

Время прохождения 128 минут
Свернуть
Развернуть тему

Часть 2. ИСЧИСЛЕНИЯ МАТЕМАТИЧЕСКОЙ ЛОГИКИ

Время прохождения 2621 минута
Свернуть
Развернуть тему

Часть 4. ИНТУИЦИОНИСТСКИЕ ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ

Время прохождения 1230 минут
Свернуть
Развернуть тему

Часть 5. АКСИОМАТИЧЕСКАЯ СЕМАНТИКА ЯЗЫКОВ ИМПЕРАТИВНОГО ПРОГРАММИРОВАНИЯ

Время прохождения 2570 минут
Свернуть
Развернуть тему

Литература

Время прохождения 128 минут
Свернуть
Развернуть тему

Новые издания по дисциплине "Программирование" и смежным дисциплинам

Время прохождения 51 минута
Свернуть
Развернуть тему

Завершение курса

Время прохождения 70 минут
Свернуть
Развернуть тему

Методика

Укажите параметры рабочей программы
Математическая логика
Есть вопросы? Напишите нам

Материалы курса

Лекции22
Тесты6
Задания6

Поделиться курсом

Подписка от 349 ₽/мес.
Этот курс и более
11 154 других учебников
и курсов будут доступны
при покупке личной
подписки

Курсы по теме:

Используют: 148 вузов 67 преподавателей 361 студент