Какво е математическа логика (книга на руски език)
Л. А. Калужнин (автор)
Издателство: | Наука |
Език: | руски език |
Раздел: | Математика |
Етикет: | математическа логика |
Твърда корица, среден формат | 152 стр. | 204 гр.
(неизползвана, отчислена от библиотека книга - без заглавна страница, леко захабен вид)
*
ПРЕДИСЛОВИЕ
Эта книга популярно излагает основы математической логики. Необходимость такой книги вызвана тем, что в настоящее время все большее значение приобретает автоматизация производственных процессов. Программа КПСС прямо указывает на важность автоматизации для создания материально-технической базы коммунизма. Математическая логика является теоретической основой кибернетики, а эта последняя в свою очередь применяется для решения проблем автоматизации.
Несмотря на важность математической логики, в нашей стране почти нет книг, излагающих основы этой науки. Имеющиеся у нас книги по математической логике рассчитаны на читателя, достаточно математически подготовленного. Между тем необходимо создать такую книгу, которая давала бы представление о математической логике и в то же время не требовала бы для своего понимания большего, чем школьный курс математики. Данная книга, по-моему, решает эту задачу.
Конечно, в рамках данной книги невозможно исчерпывающе ответить на вопрос: что такое математическая логика? Но мне кажется, что, прочтя данную книгу, читатель сможет составить себе некоторое представление о том, чем занимается эта наука, и о проблемах, возникающих в ней.
Книга состоит из трех глав. В главе I строится логика высказываний как теория булевых функций, т. е. функций, аргументы которых принимают два значения — «истинно» и «ложно», и которые сами принимают эти же два значения. В этой главе показано также применение логики высказываний в теории автоматов и в теории ре-лейно-контактных схем. В главе II рассматриваются тождественно истинные формулы логики высказываний. В главе III излагается логика предикатов, являющаяся более глубокой областью логики. Естественно, что подробное рассмотрение логики предикатов в рамках небольшой популярной книги невозможно; поэтому основное внимание уделено операциям логики предикатов (в частности, кванторам), а также применению логики предикатов в силлогистике Аристотеля и для формализации математических теорий.
В заключение приведен очерк развития исследований по основаниям математики. Разумеется, он не претендует на полноту, но, по-видимому, представляет интерес не только для впервые знакомящихся с математической логикой, но и для тех, кто владеет основами этой науки.
В конце книги читатель найдет список литературы, которая позволит ему глубже ознакомиться с современными достижениями в области математической логики. Большинство из указанных в этом списке книг и статей достаточно трудны для неподготовленного читателя и потребуют от него упорной работы.
Автор
**
При покупка на стойност:
Срок за доставка до офис на Еконт или Спиди: Поръчваш днес, получаваш утре!
За редовни клиенти, закупили книгите си с регистрация, се определя персонална отстъпка с код за отстъпка, за пазаруване независимо от стойността на покупката.
За пазаруващите само с "Бърза поръчка", не се предлага код за постоянна отстъпка, поради невъзможността да бъде вписан такъв.
Поръчки направени до 17.00 ч. в делничен ден - за София и страната, обикновено се изпращат в същия ден и се доставят на следващия, или според графика на куриерската фирма. При пристигането на пратката в офиса на Еконт клиентите, направили поръчка с регистрация, получават имейл и SMS, а с "Бърза поръчка" - само SMS.
След преглед на пратката в присъствието на куриера, се заплаща наложен платеж. Към книгите от всяка поръчка се издава фискален бон, а при заявено желание и опростена фактура, както на фирми, така и на физически лица.
Ако книгата или книгите не отговарят на описаното състояние при поръчката, то той се освобождава от заплащане на пратката в двете посоки, след разговор по телефона с подателя.
Ако клиента след преглед прецени, че книгата или книгите не са му необходими, то той следва да ги върне на подателя, като заплати пощенските разходи в двете посоки.
За София - лично предаване
Среща с предварителна уговорка на две места в кв. Орландовци:
1. За пристигащите с трамвай (№ 3, 4 или 18): трамвайна спирка "Католически гробищен парк" (виж на картата) около 7-9 мин от пл. Лъвов мост.
2. За пристигащите с автомобил: кв. Орландовци, ул. Железопътна 18, пред магазин Билла (виж на картата)
Предимствата на този начин за получаване: възможност за внимателно разглеждане на книгите, получаване в същия ден и спестяване на пощенските разходи.
След уточняване на всички подробности и потвърждение от страна на клиента.