Элементы теоретического программирования: математическая логика : учебное пособие к курсам "Математическая логика и теория алгоритмов", "Теоретические основы программирования", "Представление знаний в информационных системах"
2454
Краткое содержание:
Экранизация книги

Элементы теоретического программирования: математическая логика : учебное пособие к курсам "Математическая логика и теория алгоритмов", "Теоретические основы программирования", "Представление знаний в информационных системах"

Авторы:
Голанова Анна Викторовна
Демидов М.В.
Кудрявцева Ирина Андреевна
Швецкий Михаил Владимирович
Год:
2016; Связанные записи
Язык:
Русский
Описание:
Голанова А. В., Анна Викторовна, Демидов М.В., Кудрявцева И. А., Ирина Андреевна, Швецкий М. В., Михаил Владимирович Элементы теоретического программирования: математическая логика : учебное пособие к курсам "Математическая логика и теория алгоритмов", "Теоретические основы программирования", "Представление знаний в информационных системах" / А.В. Голанова, М.В. Демидов, И.А. Кудрявцева, М.В. Швецкий; Российский государственный педагогический университет им. А.И. Герцена. - Санкт-Петербург : Лема, 2016. - 21 см
Рейтинг по отзывам:
4.5
Рубрики:
Математическая логика → Учебные издания для высших учебных заведений
Дата создания:
2019-09-28 03:28:20
Соц. сети:
Структура курса "Математическая логика"
Вводная лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/ Мотивация...
Irina Shoshmina
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Элементы теоретического программирования: математическая логика : учебное пособие к курсам "Математическая логика и теория алгоритмов", "Теоретические основы программирования", "Представление знаний в информационных системах"
Она является известной среди большинства?
Да.
Нет.
Возможно.
Не знаю

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Введение в логику, урок 1: Базовые понятия
Автор: Рахим Давлеткалиев (https://rakh.im/) Практические курсы по программированию на русском языке - от первой...
Хекслет
Алгоритмы и структуры данных простыми словами. Зачем учить алгоритмы? #codonaft
7 методов разработки алгоритмов простыми словами. Как алгоритмы связаны с машинным обучением? Подборка...
codonaft — понятно о программировании
Блок консультаций к экзамену в магистратуру на кафедру "Автоматизация и робототехника"
Официальный канал ОмГТУ
Введение в логику, урок 4: Предикаты и кванторы
Автор: Рахим Давлеткалиев (https://rakh.im/) Практические курсы по программированию на русском языке - от первой...
Хекслет Начало.Математическая логика и теория алгоритмов.
Начинаем знакомиться с математической логикой и теорией алгоритмов. Введение. В следующих видео начнём...
НПК Формальная и интуитивная семантика языка программирования на примерах JS и JSX
Артём Арутюнян на PiterJS tour#1 с докладом о формальной и интуитивной семантике языков программирования. На...
CSSSR Дискретная математика. Математическая логика.
Видеолекцию читает преподователь Мартиросян А.Э. Следующая лекция «Равносильные формулы алгебры высказыв...
Евразийский открытый институт
Егор Петров
Элементы теоретического программирования: математическая логика : учебное пособие к курсам "Математическая логика и теория алгоритмов", "Теоретические основы программирования", "Представление знаний в информационных системах" и "Библиотека программного обеспечения".
Прикрепить файл
Похожие книги
Азат Нагирян
Элементы теоретического программирования: математическая логика : учебное пособие к курсам "Математическая логика и теория алгоритмов", "Теоретические основы программирования", "Представление знаний в информационных системах" для студентов высших учебных заведений, обучающихся по специальностям: "Прикладная математика и информатика", "Информатика и вычислительная техника", "Информационные системы и технологии", В учебном пособии изложены начала математической логики. Дана история ее становления, рассмотрены основные понятия и их сущность. Также рассмотрены простейшие логические схемы, даны сведения о правилах булевой алгебры. Описана символика математической логики: таблицы истинности, формулы, законы.
Прикрепить файл