Основы математической логики учебное пособие

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

Full description

Bibliographic Details
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