Математическая логика и теория алгоритмов

autorzy

Е. В. Зайцева,

Л. М. Гурова

PDF

Zostaw recenzję

Książka w rosyjskim

14,64 zł

O książce

Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики.

Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».

Gatunki i tagi

AlgorytmyInformatyka i inżynieria komputerowaLogika matematycznaMatematykaPodręczniki, w tym dla szkoły wyższej

Zaloguj się, aby ocenić książkę i zostawić recenzję

Książka Е. В. Зайцевой, Л. М. Гуровой «Математическая логика и теория алгоритмов» — pobierz w formacie pdf lub czytaj online. Zostaw komentarze i recenzje, głosuj na ulubione.

Ograniczenie wiekowe:

Data wydania na Litres:

25 sierpnia 2017

Data napisania:

2006

Objętość:

255 str.

ISBN:

5-7418-0451-9, 978-5-7418-0451-3

Całkowity rozmiar:

5.1 МБ

Całkowita liczba stron: