Основы математической логики учебное пособие
Учебное пособие содержит теоретический материал по курсу Основы математической логики, примеры и библиографический специальностей, включая направления информатика, прикладная математика, изучающих разделы: функции алгебры логики, исчисление высказываний, семантические парадоксы, полные системы...
| 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 | ||