Основной контент книги Формальные системы
Tekst PDF

Objętość 70 stron

0+

Формальные системы

5,0
1 ocena
399 ₽
14,29 zł

O książce

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

Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».

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:
24 sierpnia 2019
Objętość:
70 str.
ISBN:
978-5-907226-02-9
Całkowity rozmiar:
652 КБ
Całkowita liczba stron:
70
Właściciel praw:
МИСиС
Format pobierania:
Tekst
Средний рейтинг 3,1 на основе 9 оценок
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
Tekst, format audio dostępny
Средний рейтинг 4,4 на основе 56 оценок
Клещи-3
Ярослав Золотарев
Podcast
Средний рейтинг 0 на основе 0 оценок
Tekst
Средний рейтинг 5 на основе 1 оценок
Tekst, format audio dostępny
Средний рейтинг 4,7 на основе 96 оценок
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
Tekst PDF
Средний рейтинг 5 на основе 1 оценок
Tekst PDF
Средний рейтинг 0 на основе 0 оценок
Tekst PDF
Средний рейтинг 5 на основе 2 оценок