Домашняя страница Евгения Беркунского

Powered by NGINX


Quick links: content, navigation, search.


Even the most powerful weapon won't win the battle if you don't have a well skilled army that is able to use it


Дискретные структуры

Задания лабораторных работ

  • Лр №4. Основні правила та найпростіші комбінаторні формули
  • Лр №5. Проверка правильности рассуждений при помощи эквивалентных преобразований
  • Лр №6. Проверка правильности рассуждений (правило резолюций)
  • Лр №7. Проверка правильности рассуждений (алгоритм Вонга)

Материалы теории

  • Елементи комбінаторики (к Л.Р.№4)
  • Формальные системы. Исчисление высказываний (к Л.Р.№5)
  • Правила формализации высказываний (к Л.Р.№5)
  • Исчисление высказываний. Правило резолюций (к Л.Р.№6)
  • Алгоритм проверки выводимости правильного построенного умозаключения Вонга (к Л.Р.№7)



























Fulltext:

Navigation

  • Main page
  • Алгоритмизация и программирование
  • Технологии ООП 2021
  • Web-технологии
  • Дискретная математика (1141, 1144)
  • Компьютерная дискретная математика (1151,1157ст)
  • Дискретные структуры
  • Имитационные проекты и вычислительные процессы в информационных системах
  • Компьютерная графика
  • Структура и организация данных
  • Технология распределенных систем и параллельных вычислений
  • Организация баз данных
  • 1147ст, 1148ст (АиП)
  • ОП (2151з)
  • Колледж (ООП)
  • JAVA (гр.2151, 1157ст)
  • Методы и СИИ
  • Методы и СИИ для заочников
  • Доп. разделы по информатике
  • Java для учителей
  • Алгоритмы
  • Trainings
  • Обратная связь
Твиты пользователя @EugenyB

Copyright © 2011-2022 Eugeny Berkunsky |