Автор:Гжегорчик А. Год: 1972 Издание:Главная редакция физико-математической литературы издательства "Наука" Страниц: 112 ISBN: [не указан] Математическая логика - своеобразная область науки, тесно связанная как с математикой, так и с философией, - выдвинулась на первый план в последние десятилетия, когда возникла потребность в автоматизации процессов, выполнявшихся ранее лишь человеческим мозгом. Теория электронных цифровых машин и других "умных" автоматов, изучение структуры языка, глубокие философские вопросы оснований математики и других наук - вот сфера применений математической логики. Книга Анджея Гжегорчика предназначена для того, чтобы удовлетворить возрастающий интерес к этой науке людей, не являющихся специалистами ни в математике, ни в логике. От читателя не требуется ни знания математических фактов, ни привычки к чтению математической литературы. Автор ведет изложение в разговорном стиле, логические символы заменяет словами. Многочисленные примеры облегчают усвоение материала.
