Электронная книга
Велика сила знания, и книга - неиссякаемый носитель знания. Но не только... И вот отменный пример того рода работы, что приносит знания, необходимые и полезные - "Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления"
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности.
Выражаем надежду, что "Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления" даст вам ценные сведения и поможет изменить и лучше узнать многие вещи из определенной области знаний.
Если у вас возникнет вопрос, вам всегда помогут опытные сотрудники магазин электронных книг ЛитPec - крупнейшего агрегатора, дистрибьютора и продавца лицензионных изданий в России!
В VII томе сочинения Ю.Семенова "17 мгновений весны" вкралась опечатка. В шифровке на стр. 537 7-я строка сверхy вместо 6354 8923 9047 следует читать 6354 8923 9048. Редакция приносит свои извинения.
Еще немного и «Книга о вкусной и здоровой пище» станет Красной книгой. (Аврелий Марков)
Этот небольшой блок рекламы поможет вам больше узнать о других полезных для путешественника книгах и не только о них: эти и разные прочие спонсоры помогают самым различным сайтам развиваться и существовать. Из помещенной тут информации вы - очень возможно - извлечёте для себя что-то полезное или просто интересное дополнительно Реклама - двигатель торговли, но еще и своего рода источник полезной информации! Тут за примерами далеко ходить не надо
