Лекции по математической логике и теории алгоритмов
PDFOznacz jako przeczytane
- Rozmiar: 139 str.
- Kategoria: matematyka, podręczniki, w tym dla szkoły wyższej
Opis książki
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.
Szczegółowe informacje
- Ograniczenie wiekowe:
- 0+
- Data dodania do LitRes:
- 26 lutego 2016
- Data powstania:
- 2013
- Rozmiar:
- 139 str.
- ISBN:
- 978-5-8397-0908-9
- Całkowity rozmiar:
- 19 MB
- Całkowity liczba stron:
- 139
- Rozmiar stron:
148 x 210 мм
- Prawa autorskie:
- БИБКОМ
Юрий Белов "Лекции по математической логике и теории алгоритмов" – pobierz w formacie pdf lub czytaj online. Zamieszczaj komentarze, recenzje i głosuj na swoje ulubione.
Оставьте отзыв
Отзывы