Книга: Игошин В. «Элементы математической логики Учебник»
|
Учебник создан в соответствии с требованиями Федерального государственного образовательного стандарта среднего профессионального образования по специальностям укрупненной группы «Информатика и вычислительная техника»; ЕН. 02 «Элементы математической логики».. В учебнике представлены с двух точек зрения — содержательной(семантической) и формальной (синтаксической) — два основных раздела математической логики — алгебра высказываний и логика предикатов. Теоремы о полноте в этих разделах устанавливают взаимосвязи между этими двумя составными частями математической логики. Рассмотрено, как математическая логика проникает в математические теории — на содержательном и формальном уровнях, — становясь основой аксиоматического метода и превращая математические теории в аксиоматические — содержательные и формальные.. Для студентов учреждений среднего профессионального образования. Формат: Твердая глянцевая, 320 стр.
ISBN: 9785446825790 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Математическая логика Учебное пособие | Подробно изложены основы математической логики, привлечен материал школьного курса математики для его… — (формат: Твердая глянцевая, 399 стр.) Подробнее... | бумажная книга | ||
| Теория алгоритмов Учебное пособие | Подробно изложены три формализации понятия алгоритма — машины Тьюринга, рекурсивные функции и нормальные… — (формат: Твердая глянцевая, 318 стр.) Подробнее... | бумажная книга | ||
| Математическая логика Учебное пособие CD-R | Подробно изложены основы математической логики, привлечен материал школьного курса математики для его… — (формат: Твердая глянцевая, 399 стр.) Подробнее... | бумажная книга |
См. также в других словарях:
Кафедра математической лингвистики Санкт-Петербургского университета — Эта статья предлагается к удалению. Пояснение причин и соответствующее обсуждение вы можете найти на странице Википедия:К удалению/7 октября 2012. Пока процесс обсуждения не завершён, статью можно … Википедия
Кафедра математической лингвистики — факультета филологии и искусств Санкт Петербургского университета (создана в 1962 году) выпускающая кафедра для студентов отделения прикладной лингвистики СПбГУ, старейшего отделения такого профиля в России. Содержание 1 История 2 Персоналии 2.1 … Википедия
Кафедра математической лингвистики (Санкт-Петербургский госуниверситет) — Кафедра математической лингвистики факультета филологии и искусств Санкт Петербургского университета (создана в 1962 году) выпускающая кафедра для студентов отделения прикладной лингвистики СПбГУ, старейшего отделения такого профиля в России.… … Википедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
Столяр, Абрам Аронович — Абрам Аронович Столяр (белор. Абрам Аронавіч Столяр, 20 февраля 1919, Тарутино, Бессарабия, ныне Одесская область Украины 6 мая 1993, Москва) белорусский советский педагог методист, известный работами по проблемам развития логического мышления… … Википедия
