1. установить, является ли данное выражение формулой, а если да, то определить,

какие переменные в ней свободные, а какие связанные.

∀x a(x) v ∨ ∀y b(x, y).

2. даны предикаты: а(x) и b(x). записать словами предложенные формулы с и d.

а(x) = "x – газ"; b(x) = "x бесцветный". записать словами:

c = ¬∀x(a(x) ⇒b(x)); d = ∃x((a(x)& ¬b(

3. данное суждение записать в виде формулы логики предикатов. построить

отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания.

перевести на естественный язык:

некоторые студенты получают стипендию.

ответ:

объяснение:

1.

вам повезло! египтолог отправляется исследовать несколько храмов в египет, а вас берёт своим . посетите храм и гробницу и подготовьте отчёт о религиозных верованиях египтян этого периода.

а) каких богов вы увидели в храме и гробнице? (укажите не менее 7-ми) составьте таблицу: имя бога/чему покровительствовал.

б) какие священные животные вам встретились? (укажите не менее 4-х) как вы думаете, почему они почитались?

свои рассуждения можете подкрепить фотографиями (скриншотами) из экспедиции.

программа на паскале:

program a1;

var i, j : integer;

      s : real;

      a: array [1..5, 1..6] of real;

      b: array [1..6] of real;

begin

  for i: =1 to 5 do

    for j: =1 to 6 do

        readln(a[i,j]);

  for j: =1 to 6 do

    begin

        s: =0;

        for : =1 to 5 do

            s: =s+a[i,j];

        b[j]: =s

    end;

  write ('полученный массив в: ');

  for j: =1 to d do

    write(b[j]);

  readln

end. 

самотестирование компьютера

                |

первый этап - загрузка специальной программы в микросхеме bios для поиска загрузчика операционной системы

                |

второй этап - программа загрузчик загружается в оперативную память для передачи работой комп.

                |

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

при включении комп. ос загружается в оп раньше остальных программ