Валерий Соколов

Лекции по математической логике и теории алгоритмов

E-Book (pdf)

Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.

автор (соавторы):
Юрий Белов, Валерий Соколов
правообладатель
БИБКОМ
название оригинала:
Лекции по математической логике и теории алгоритмов
выход в свет:
01.01.2013
ISBN:
978-5-8397-0908-9
EAN:
9785839709089

для возраста:
0+
ндс РФ
20
можно полистать
https://partnersdnld.litres.ru/get_pdf_trial/16930197.pdf
формат скачивания
pdf
объем файла в зависимости от формата, кб
19636

5,00 € вкл. НДС 7,0 %

автор (соавторы):
Юрий Белов, Валерий Соколов
правообладатель
БИБКОМ
название оригинала:
Лекции по математической логике и теории алгоритмов
выход в свет:
01.01.2013
ISBN:
978-5-8397-0908-9
EAN:
9785839709089

для возраста:
0+
ндс РФ
20
можно полистать
https://partnersdnld.litres.ru/get_pdf_trial/16930197.pdf
формат скачивания
pdf
объем файла в зависимости от формата, кб
19636

В личный кабинет клиента электронные издания выгружаются сразу после оплаты. При отсутствии кабинета книги высылаются файлами на электронную почту клиента. Такая доставка происходит не сразу, письма могут ошибочно уходить в спам. Рекомендуем перед оформлением заказа создать личный кабинет.

Электронные форматы книг позволяют читать и слушать их на обычных устройствах - смартфонах, планшетах и компьютерах всех систем. Специальные читалки не нужны.

На устройствах клиента должны быть установлены приложения для чтения форматов PDF, EPUB и MP3. Приложения доступны в интернете, установка бесплатна.

Вас также могут заинтересовать