Теоретични основи на информатиката 2014 Стоименова
Сумата се прибавя директно в кошницата
6.41 €
.
За повече информация: order@kopiebg.com
Съдържание
ПРЕДГОВОР
Глава 1. Съждителна логика - синтаксис и семантика
1.1. Въведение
1.2. Основни понятия
1.3. Синтаксис на съждителната логика
1.4. Семантика на съждителната логика
Решенн задачи
Допълнителни задачи ,
Тест за самопроверка
Глава 2. Логическа еквивалентност на формули
2.1. Въведение
2.2. Логическа еквивалентност
2.3. Закони за импликацията и еквивалентността
2.4. Еквивалентни преобразувания на формули
2.4.1. Замяна на еквивалентни формули
2.4.2. Нормални форми на формулите
3.2. Логическо следствие
3.3. Естествена дщумри.
3.4. Тавтологии
Решенн задачи
Допълнителни задачи
.
