На 13 януари 2023 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”. Доклад на тема: Отчет за работата по докторантурата на Димитър Добрев на тема "Изкуствен интелект – дефиниция, реализация и последствия" ще изнесе Димитър Добрев. Абстракт. В основата на дисертацията са езиците за описание на светове. Тези езици описват класове от функции като изчислимите функции и някои разширения на този клас. При помощта на език за описание на светове дефинираме ИИ и създаваме програма, която твърдим, че удовлетворява тази дефиниция. Тази програма е чисто теоретична, защото тя е толкова неефективна, че на практика е неизползваема. Изказваме предположението, че с подходящ език за описание на светове може да се направи ефективна програма, която да удовлетвори дефиницията [...]
42 събития found.
семинар Алгебра и логика
Събития
Календар на Събития
|
понеделник
|
вторник
|
сряда
|
четвъртък
|
петък
|
събота
|
неделя
|
|---|---|---|---|---|---|---|
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
1 събитие,
-
|
0 събития,
|
0 събития,
|
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|
0 събития,
|