|
|
Автор: Гжегорчик А.
Издательство: Наука
Год издания: 1979
Количество страниц: 112
Язык: русский
Формат: DJVU
Размер: 2 Мб
Каталожный номер: 127315
|
Математическая логика - своеобразная область науки, тесно связанная как с математикой, так и с философией, - выдвинулась на первый план в последние десятилетия, когда возникла потребность в автоматизации процессов, выполнявшихся ранее лишь человеческим мозгом. Теория электронных цифровых машин и других «умных» автоматов, изучение структуры языка, глубокие философские вопросы оснований математики и других наук - вот сфера применений математической логики. Книга Анджея Гжегорчика предназначена для того, чтобы удовлетворить возрастающий интерес и этой науке людей, не являющихся специалистами ни в математике, ни в логике. От читателя не требуется ни знания математических фактов, ни привычки к чтению математической литературы. Автор ведет изложение в разговорном стиле, логические символы заменяет словами. Многочисленные примеры облегчают усвоение материала.
Ключевые теги: логика |
|