Математическая логика: учебное пособие

Математическая логика: учебное пособие

Detaylı Bibliyografya
Yazar: Игошин В. И. Владимир Иванович
Özet:Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях бакалавриата, магистратуры, а также специалитета.
Dil:Rusça
Baskı/Yayın Bilgisi: Москва, Инфра-М, 2019
Seri Bilgileri:Высшее образование - Бакалавриат
Konular:
Математическая логика
алгебра высказываний
высказывания
формулы
тавтологии
логическая равносильность
логическое следование
булевы функции
формализованные исчисления
формальный вывод
компьютеры
применение
предикаты
логические операции
равносильные преобразования
логико-математическая практика
логическое программирование
неформальные аксиоматические теории
математика
формальные аксиоматические теории
учебные пособия
Materyal Türü: Kitap
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=342904
Diğer Bilgiler
Fiziksel Özellikler:398 с.
Özet:Подробно изложены основы математической логики, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях бакалавриата, магистратуры, а также специалитета.
ISBN:9785160116914

Benzer Materyaller