Основной контент книги Математическая логика
Tekst PDF

Objętość 229 stron

2020 rok

0+

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

5,0
3 oceny
21,39 zł

O książce

В учебнике изложены основные понятия математической логики, язык и средства математической логики, в том числе системы логических функций и их применение в информатике. Рассматриваются основные разделы математической логики: алгебра высказываний; исчисления высказываний и логика предикатов. Алгоритмическим подходом по шагам представлено доказательство теорем из аксиоматической теории L. Помимо теоретических и практических материалов учебник содержит задания для самостоятельной работы.

Содержание учебника соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям.

Учебник предназначен для студентов высших учебных заведений, обучающихся по направлению педагогического образования профилей «Информатика и математика», «Физика и информатика», «Технология и информатика», «Математика и информатика», «Прикладная информатика». Может быть полезен широкому кругу читателей, интересующихся основами математической логики.

Zaloguj się, aby ocenić książkę i dodać recenzję
Książka В. Л. Матросова, М. С. Мирзоева «Математическая логика» — pobierz w formacie pdf lub czytaj online. Zostaw komentarze i recenzje, głosuj na ulubione.
Ograniczenie wiekowe:
0+
Data wydania na Litres:
03 lutego 2020
Data napisania:
2020
Objętość:
229 str.
ISBN:
978-5-907244-03-0
Całkowity rozmiar:
3.5 МБ
Całkowita liczba stron:
229
Właściciel praw:
Прометей
Format pobierania:
Audio
Средний рейтинг 4,1 на основе 11 оценок
Tekst, format audio dostępny
Средний рейтинг 3,8 на основе 11 оценок
Tekst
Средний рейтинг 4,1 на основе 15 оценок
Tekst, format audio dostępny
Средний рейтинг 5 на основе 3 оценок
Audio
Средний рейтинг 3 на основе 8 оценок
Audio
Средний рейтинг 3,7 на основе 26 оценок