Mathematics
Гжегорчик А.. Популярная логика. 1980
Description: Математическая логика - своеобразная область науки, тесно связанная как с математикой, так и с философией, - выдвинулась на первый план в последние десятилетия, когда возникла потребность в автоматизации процессов, выполнявшихся ранее лишь человеческим мозгом. Теория электронных цифровых машин и др. \"умных\" автоматов, изучение структуры языка, глубокие философские вопросы оснований математики и др. наук - вот сфера применений математической логики. Книга А. Гжегорчика предназначена для того, чтобы удовлетворить возрастающий интерес к логике людей, не являющихся специалистами ни в математике, ни в логике. От читателя не требуется ни знания математических фактов, ни привычки к чтению математической литературы. Автор ведет изложение в разговорном стиле, логические символы заменяет словами. Многочисленные примеры облегчают усвоение материала.