Математическая логика — своеобразная область науки, тесно связанная как с математикой, так и с философией,— выдвинулась на первый план в последние десятилетия, когда возникла потребность в автоматизации процессов, выполнявшихся ранее лишь человеческим мозгом. Теория электронных цифровых машин и других «умных» автоматов, изучение структуры языка, глубокие философские вопросы оснований математики и других наук — вот сфера применений математической логики. Книга Анджея Гжегорчика предназначена для того, чтобы удовлетворить возрастающий интерес к этой науке людей, не являющихся специалистами ни в математике, ни в логике. От читателя не требуется ни знания математических фактов, ни привычки к чтению математической литературы. Автор ведет изложение в разговорном стиле, логические символы заменяет словами. Многочисленные примеры облегчают усвоение материала.
Программирование. Математическая логика — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императ ...
Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой.
Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
Книга известного математика и популяризатора математической науки Иэна Стюарта — сборник удивительных историй, головоломок, курьезов, шуток и захватывающих математических фактов, которые вызывают любопытство, учат, удивляют и восхищают.
Книга посвящена древней и в то же время всегда молодой науке о правильном мышлении — логике. Материал излагается просто, ясно и интересно; приводятся многочисленные примеры, показывающие практическую значимость логики для современного человека. Предлагаемые в книге занимательные задачи направлены на развитие внимания, памяти, гибкости ума, смекалки ...
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.
Название: 
Распечатать
