Основы математической логики учебное пособие
Учебное пособие содержит теоретический материал по курсу Основы математической логики, примеры и библиографический специальностей, включая направления информатика, прикладная математика, изучающих разделы: функции алгебры логики, исчисление высказываний, семантические парадоксы, полные системы...
Main Author: | |
---|---|
Other Authors: | , |
Format: | Book |
Language: | Russian |
Published: |
Москва
РТУ МИРЭА
2023
|
Online Access: | ЭБС Лань ЭБС Лань Перейти в каталог НТБ ТГАСУ |
LEADER | 02879nam a22002651 4500 | ||
---|---|---|---|
005 | 20240115084952.0 | ||
007 | cr bn uu|uu | ||
008 | 231228s2023 ru W 000 m rus d | ||
020 | |a 9785733918594 | ||
040 | |a RU-ToGUA |b rus |c RU-ToGUA |e PSBO | ||
080 | |a 510.6 (075.8) | ||
084 | |a 22.12 |2 rubbk | ||
100 | 1 | |a Людковский, С. В. |9 417411 | |
245 | 1 | 0 | |a Основы математической логики |h Электронный ресурс |b учебное пособие |c Людковский С. В.,Дзержинский Р. И.,Волощук С. А. |
260 | |a Москва |b РТУ МИРЭА |c 2023 | ||
300 | |a 63 с. | ||
520 | 3 | |a Учебное пособие содержит теоретический материал по курсу Основы математической логики, примеры и библиографический специальностей, включая направления информатика, прикладная математика, изучающих разделы: функции алгебры логики, исчисление высказываний, семантические парадоксы, полные системы связок, аксиоматика и теория исчислений высказываний, теории первого порядка, кванторы, интерпретации и модели, метатеоремы и теоремы теории первого порядка по курсам Основы математической логики и теории алгоритмов и Основы математической логики и теории автоматов. Материал предназначен для студентов дневного отделения по курсу Математическая логика и теория алгоритмов или Математическая логика и теория автоматов для студентов, обучающихся по специальностям 01.03.04 Прикладная математика, 09.03.03 Прикладная информатика и может быть использован для самостоятельной работы при освоении курса кафедры. | |
540 | |a Книга из коллекции РТУ МИРЭА - Математика | ||
700 | 1 | |a Дзержинский, Р. И. |9 297276 | |
700 | 1 | |a Волощук, С. А. |9 417412 | |
856 | 4 | |u https://e.lanbook.com/book/382439 |y ЭБС Лань | |
856 | 4 | 1 | |u https://e.lanbook.com/img/cover/book/382439.jpg |y ЭБС Лань |
856 | |y Перейти в каталог НТБ ТГАСУ |u https://catalog.tsuab.ru/cgi-bin/koha/opac-detail.pl?biblionumber=857692 | ||
999 | |c 857692 |d 857692 | ||
039 | |z 2 |b 2 |