Поиск :
Личный кабинет :
Электронный каталог: Людковский, С. В. - Основы математической логики
Людковский, С. В. - Основы математической логики
Нет экз.
Электронный ресурс
Автор: Людковский, С. В.
Основы математической логики : учебное пособие
Издательство: РТУ МИРЭА, 2023 г.
ISBN 978-5-7339-1859-4
Автор: Людковский, С. В.
Основы математической логики : учебное пособие
Издательство: РТУ МИРЭА, 2023 г.
ISBN 978-5-7339-1859-4
На полку
Электронный ресурс
Людковский, С. В.
Основы математической логики [Электронный ресурс] : учебное пособие. – Москва : РТУ МИРЭА, 2023. – 63 с. – Режим доступа : https://e.lanbook.com/book/382439, https://e.lanbook.com/img/cover/book/382439.jpg. – Книга из коллекции РТУ МИРЭА - Математика. – На рус. яз. – ISBN 978-5-7339-1859-4.
Учебное пособие содержит теоретический материал по курсу «Основы математической логики», примеры и библиографический специальностей, включая направления «информатика», «прикладная математика», изучающих разделы: функции алгебры логики, исчисление высказываний, семантические парадоксы, полные системы связок, аксиоматика и теория исчислений высказываний, теории первого порядка, кванторы, интерпретации и модели, метатеоремы и теоремы теории первого порядка по курсам «Основы математической логики и теории алгоритмов» и «Основы математической логики и теории автоматов». Материал предназначен для студентов дневного отделения по курсу «Математическая логика и теория алгоритмов» или «Математическая логика и теория автоматов» для студентов, обучающихся по специальностям 01.03.04 «Прикладная математика», 09.03.03 «Прикладная информатика» и может быть использован для самостоятельной работы при освоении курса кафедры.
510.6 (075.8)
основной = ЭБС Лань
Людковский, С. В.
Основы математической логики [Электронный ресурс] : учебное пособие. – Москва : РТУ МИРЭА, 2023. – 63 с. – Режим доступа : https://e.lanbook.com/book/382439, https://e.lanbook.com/img/cover/book/382439.jpg. – Книга из коллекции РТУ МИРЭА - Математика. – На рус. яз. – ISBN 978-5-7339-1859-4.
Учебное пособие содержит теоретический материал по курсу «Основы математической логики», примеры и библиографический специальностей, включая направления «информатика», «прикладная математика», изучающих разделы: функции алгебры логики, исчисление высказываний, семантические парадоксы, полные системы связок, аксиоматика и теория исчислений высказываний, теории первого порядка, кванторы, интерпретации и модели, метатеоремы и теоремы теории первого порядка по курсам «Основы математической логики и теории алгоритмов» и «Основы математической логики и теории автоматов». Материал предназначен для студентов дневного отделения по курсу «Математическая логика и теория алгоритмов» или «Математическая логика и теория автоматов» для студентов, обучающихся по специальностям 01.03.04 «Прикладная математика», 09.03.03 «Прикладная информатика» и может быть использован для самостоятельной работы при освоении курса кафедры.
510.6 (075.8)
основной = ЭБС Лань