Компьютер, предоставляющий свои ресурсы в пользование другим компьютерам при совместной работе, называется:

Сервером

   А    B    C    неА   BvC   не A ∧(B∨C)    C∧A   B∨C∧A     f
    0    0    0        1      0              0                0         0            1                     
    0    0    1        1      1              1                0         0            0       
    0    1    0        1      1              1                0         1            1                   
    0    1    1        1      1              1                0         1            1      
    1    0    0        0      0              0                0         0            1                          
    1    0    1        0      1              0                1         1            1              
    1    1    0        0      1              0                0         1            1            
    1    1    1        0      1              0                1         1            1               
                                                                                              
                                                                                            
                                                                                             

             Теория рекурсивных алгоритмов
Задача точного определения понятия алгоритма была полностью решена в 30-х годах XX века в двух формах: на основе описания алгоритмического процесса и на основе понятия рекурсивной функции.Первый подход заключался в том, что был сконструирован формальный автомат осуществлять ограниченный набор строго определённых элементарных операций (машина Тьюринга). Алгоритмом стали называть конечную последовательность таких операций и постулировали предложение, что любой интуитивный алгоритм является алгоритмом и в сформулированном выше смысле. То есть для каждого алгоритма можно подобрать реализующую его машину Тьюринга