курсовая работа  Спеціальні класи та функціональна повнота системи функцій алгебри логіки. Теорема Поста

• посмотреть текст работы

• полная информация о работе

Подобные документы

• Системи числення та функції алгебри логіки. Булеві функції. Синтез комбінаційних схем

  Алгоритми переведення чисел з однієї позиційної системи числення в іншу. Перетворення і передавання інформації. Булеві функції змінних, їх мінімізація. Реалізація функцій алгебри логіки на дешифраторах. Синтез комбінаційних схем на базі мультиплексорів.
  
  курсовая работа [3,2 M], добавлен 02.09.2011
  

• Основні питання числення алгебри логіки

  Характеристика алгебри логіки. Система числення як спосіб подання довільного числа за допомогою алфавіту символів, які називають цифрами. Представлення чисел зі знаком: прямий, обернений і доповняльний код. Аналіз булевої функції та методів Квайна, Вейча.
  
  курсовая работа [2,6 M], добавлен 05.09.2011
  

• Математична логіка

  Побудова математичної логіки як алгебри висловлень і алгебри предикатів. Основні поняття логіки висловлювань та їх закони і нормальні форми. Основні поняття логіки предикатів і її закони, випереджена нормальна форма. Процедури доведення законів.
  
  курсовая работа [136,5 K], добавлен 27.06.2008
  

• Математична логіка та теорія алгоритмів

  Ознайомлення із символікою та апаратом логіки висловлень. Сутність алгебри Жегалкіна. Дослідження питань несуперечності, повноти та незалежності логічних та спеціальних аксіом числення предикатів. Визначення поняття та характерних рис алгоритмів.
  
  курс лекций [538,2 K], добавлен 02.04.2011
  

• Дослідження властивостей гіперболічних функцій

  Обчислення меж гіперболічних функцій та замінна змінного. Порівняння гіперболічних і зворотних до них функцій. Диференціювання зворотних гіперболічних функцій, невизначений інтеграл. Розкладання гіперболічних функцій по формулах Тейлора та Маклорена.
  
  курсовая работа [2,0 M], добавлен 11.02.2011
  

• Спеціальні глави математики

  Розв'язання задач з теорії множин та математичної логіки. Визначення основних характеристик графа г (Х,W). Розклад функцій дискретного аргументу в ряди по базисним функціям. Побудова та доведення діаграми Ейлера-Вена. Побудова матриці інцидентності графа.
  
  курсовая работа [988,5 K], добавлен 20.04.2012
  

• Логіка і множини

  Виключення третього як фундаментальний принцип логіки, істинність і хибність як логічні значення пропозиції. Таблиці істинності, поняття тавтології і еквівалентності. Властивості функцій множин і запереченням гіпотези Гольдбаха в термінах квантифікаторів.
  
  реферат [82,7 K], добавлен 03.03.2011
  

• Модуль неперервності та його властивості

  Модуль неперервності (першого порядку), приклади та властивості. Необхідна і достатня умова рівномірної неперервності. Класи функцій, що визначаються першими модулями неперервності. Властивості і означення модуля неперервності. Аналіз класів функцій.
  
  курсовая работа [396,9 K], добавлен 22.01.2013
  

• Метод підсумовування Бернштейна–Рогозинського

  Інтеграл Фур'є для парної й непарної функції. Приклад розкладання функцій у тригонометричний ряд Фур'є. Визначення методів Бернштейна–Рогозинського. Наближення функцій за допомогою сум Бернштейна-Рогозинського. Сума, добуток і частка періодичних функцій.
  
  курсовая работа [765,6 K], добавлен 07.07.2011
  

• Верхні межі відхилень функцій від їх гармонійних інтегралів Пуассона

  Лінійні методи підсумовування рядів Фур'єю, приклади трикутних та прямокутних методів. Підсумовування методом Абеля. Наближення диференційованих функцій інтегралами Абеля-Пауссона. Оцінка верхніх наближень функцій на класах в рівномірній матриці.
  
  курсовая работа [403,1 K], добавлен 22.01.2013
  

• главная
• рубрики
• по алфавиту
• вернуться в начало страницы
• вернуться к подобным работам