Автор: Валицкас А.И.
Название: Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов
Издательство: Тобольск: ТГСПА им. Д.И. Менделеева
Год: 2010
ISBN: 978-5-85944-273-7
Язык: Русский
Формат: djvu
Размер: 13,3 Мб
Кол-во страниц: 186
Описание: На практике множество элементарных логических операций является обязательной частью набора инструкций всех современных микропроцессоров и, соответственно, входит в языки программирования. Это является одним из важнейших практических приложений методов математической логики, изучаемых в современных учебниках информатики. Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. Пособие предназначено, в первую очередь, для студентов физико-математических специальностей пединститутов. Пособие может быть использовано также при чтении курса математической логики для специалистов, связанных с информатикой. Пособие будет полезно всем, кто интересуется математикой и проблемами ее обоснования.
Скачать книгу ‘Конспект лекций по математической логике‘
Все материалы, представленные на нашем сайте, Вы сможете скачать по ссылкам различных бесплатных файлообменников совершенно бесплатно!
Инструкции, поясняющие, как надо качать бесплатно с файлообменников смотреть тут
Регистрация на нашем сайте позволит Вам добавлять свои книги, а также комментировать опубликованные книги, общаться с нашими авторами.
Для этого мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.