Книга: Дж. Шенфилд «Математическая логика»
|
Серия: "Математическая логика и основания математики" В настоящее время интерес к математической логике и теории алгоритмов непрерывно растет. Все большее число высших учебных заведений включает в обязательную программу обучения курсы математической логики, теории алгоритмов или их фрагменты. Специалисты в области ЭВМ начинают осознавать, что эти разделы математики являютсяфундаментом для построения настоятельно необходимой сейчас хорошей теории математического обеспечения и теории вычислений. Многие специалисты далеких от математики разделов науки начинают сознательно знакомиться с достижениями математической логики. За последние годы вышли переводы многих хороших книг по математической логике и теории алгоритмов, однако ни эти переводы, ни довольно бедный ассортимент отечественных книг не могут полностью удовлетворить запросы читателей. Предлагаемая вниманию читателей книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет... Издательство: "Главная редакция физико-математической литературы издательства "Наука"" (1975) Формат: 84x108/32, 528 стр.
|
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| Л. М. Лихтарников, Т. Г. Сукачева | Математическая логика | Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический… — Лань, (формат: 84x104/32, 288 стр.) Учебники для вузов. Специальная литература Подробнее... | 2008 | 413 | бумажная книга |
| Ершов Ю.Л. | Математическая логика | В книге изложены основные классические исчисления математической логики: исчисление высказываний и… — Физматлит, - Подробнее... | 2011 | 1154 | бумажная книга |
| Р. Л. Гудстейн | Математическая логика | Широкое использование математической логики в области математических машин и в других областях математики… — Либроком, (формат: 60x90/16, 160 стр.) Физико-математическое наследие: математика (история математики) Подробнее... | 2010 | 353 | бумажная книга |
| Ю. Л. Ершов, Е. А. Палютин | Математическая логика | В книге изложены основные классические исчисления математической логики: исчисление высказываний и… — ФИЗМАТЛИТ, (формат: 84x108/32, 356 стр.) Подробнее... | 2011 | 927 | бумажная книга |
| Ершов Юрий Леонидович, Палютин Евгений Андреевич | Математическая логика | В книге приведены главные традиционные исчисления математической логики: исчисление изречений и… — Физматлит, Подробнее... | 2011 | 1259 | бумажная книга |
| Р. Л. Гудстейн | Математическая логика | Широкое использование математической логики в области математических машин и в других областях математики… — Издательство иностранной литературы, (формат: 84x108/32, 164 стр.) Библиотека сборника "Математика" Подробнее... | 1961 | 430 | бумажная книга |
| Ершов Юрий Леонидович, Палютин Евгений Андреевич | Математическая логика | В книге изложены основные классические исчисления математической логики: исчисление высказываний и… — ФИЗМАТЛИТ, (формат: 84x108/32, 356 стр.) Подробнее... | 2011 | 1265 | бумажная книга |
| Р. Л. Гудстейн | Математическая логика | Широкое использование математической логики в области математических машин и в других областях математики… — Либроком, (формат: 60x90/16, 160 стр.) Природа Дальнего Востока Подробнее... | 2010 | 367 | бумажная книга |
| Гудстейн Р.Л. | Математическая логика | Широкое использование математической логики в области математических машин и в других областях математики… — URSS, Физико-математическое наследие. Подробнее... | 2010 | 284 | бумажная книга |
| Е. В. Зайцева | Математическая логика и теория алгоритмов | Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете… — Горная книга, электронная книга Подробнее... | 2006 | 319 | электронная книга |
См. также в других словарях:
МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… … Философская энциклопедия
математическая логика — ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… … Энциклопедия эпистемологии и философии науки
МАТЕМАТИЧЕСКАЯ ЛОГИКА — Ее еще называют символической логикой. М. л. это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой. Этим достигается, во первых, краткость, во вторых, ясность, в… … Энциклопедия культурологии
МАТЕМАТИЧЕСКАЯ ЛОГИКА — МАТЕМАТИЧЕСКАЯ логика, дедуктивная логика, использующая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений … Современная энциклопедия
МАТЕМАТИЧЕСКАЯ ЛОГИКА — дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике … Большой Энциклопедический словарь
МАТЕМАТИЧЕСКАЯ ЛОГИКА — (символическая логика), аналитический раздел логики, результат применения математических методов к проблемам классической логики. Рассматривает понятия, которые могут быть истинными или ложными, связь между понятиями и оперирование ими, включая… … Научно-технический энциклопедический словарь
