Ta witryna wykorzystuje pliki cookie, dowiedz się więcej Zgadzam się
>>> Strona główna >>> Uczelnia >>> O Uczelni >>> Galeria >>> Wideogaleria >>> Mechaniczne Dowodzenie Twierdzeń

Mechaniczne Dowodzenie Twierdzeń

Zmień rozdzielczość

Średnia ocena (4 głosów; 3.50)
Oceń:

Materiały o zbliżonej tematyce:

Jak wnioskują maszyny Jak wnioskują maszyny
Matematyka, logika i inne przedmioty podstawowe
prof. dr hab. Andrzej Szałas
Uniwersytet Warszawski

01:24:01
Podobieństwo tematyczne:
Eksploracja danych niezupełnych Eksploracja danych niezupełnych
Bazy danych
Jerzy Grzymała - Busse
University of Kansas, USA

01:28:19
Podobieństwo tematyczne:
Semantyczny Internet Semantyczny Internet
Technologie internetowe
prof. dr hab. Andrzej Szałas
Linköpings universitet

01:13:43
Podobieństwo tematyczne:
Coalition Formation in Multi-Agent Systems Coalition Formation in Multi-Agent Systems
Matematyka, logika i inne przedmioty podstawowe
Talal Rahwan
University of Liverpool

00:41:40
Podobieństwo tematyczne:
Obliczeniowa teoria wyboru społecznego Obliczeniowa teoria wyboru społecznego
Matematyka, logika i inne przedmioty podstawowe
Tomasz Michalak
University of Liverpool

01:31:44
Podobieństwo tematyczne:
Selected Topics in Artificial Intelligence part 3 Selected Topics in Artificial Intelligence part 3
Algorytmika i programowanie
Teodor Przymusiński
University of California

02:05:07
Podobieństwo tematyczne:
Selected Topics in Artificial Intelligence part 2 Selected Topics in Artificial Intelligence part 2
Algorytmika i programowanie
Teodor Przymusiński
University of California

01:55:33
Podobieństwo tematyczne:
Selected Topics in Artificial Intelligence part 1 Selected Topics in Artificial Intelligence part 1
Algorytmika i programowanie
Teodor Przymusiński
University of California

01:54:13
Podobieństwo tematyczne:
Selected Topics in Artificial Intelligence part 4 Selected Topics in Artificial Intelligence part 4
Algorytmika i programowanie
Teodor Przymusiński
University of California

02:05:33
Podobieństwo tematyczne:
Selected Topics in Artificial Intelligence part 5 Selected Topics in Artificial Intelligence part 5
Algorytmika i programowanie
Teodor Przymusiński
University of California

01:41:03
Podobieństwo tematyczne:
O relacjach i algorytmach O relacjach i algorytmach
Algorytmika i programowanie
dr hab. inż. Zenon Gniazdowski
Warszawska Wyższa Szkoła Informatyki

01:35:34
Podobieństwo tematyczne:
Po co informatykom logika Po co informatykom logika
Matematyka, logika i inne przedmioty podstawowe
dr Piotr Chrząstowski-Wachtel
Uniwersytet Warszawski

01:39:33
Podobieństwo tematyczne:
Naśladowanie żywego mózgu w komputerze Naśladowanie żywego mózgu w komputerze
Tendencje rozwoju informatyki i jej zastosowań
prof. dr hab. inż. Ryszard Tadeusiewicz
Akademia Górniczo - Hutnicza

01:04:06
Podobieństwo tematyczne:
Podstawowe pojęcia algorytmiki cz.1 Podstawowe pojęcia algorytmiki cz.1
Algorytmika i programowanie
dr Piotr Chrząstowski-Wachtel
Uniwersytet Warszawski

00:43:15
Podobieństwo tematyczne:
Podstawowe pojęcia algorytmiki cz.2 Podstawowe pojęcia algorytmiki cz.2
Algorytmika i programowanie
dr Piotr Chrząstowski-Wachtel
Uniwersytet Warszawski

00:42:42
Podobieństwo tematyczne:
Wprowadzenie do algorytmów i struktur danych cz.1 Wprowadzenie do algorytmów i struktur danych cz.1
Algorytmika i programowanie
prof. dr hab. Krzysztof Diks
Uniwersytet Warszawski

00:36:44
Podobieństwo tematyczne:
Wprowadzenie do algorytmów i struktur danych cz.2 Wprowadzenie do algorytmów i struktur danych cz.2
Algorytmika i programowanie
prof. dr hab. Krzysztof Diks
Uniwersytet Warszawski

00:35:03
Podobieństwo tematyczne:
Zasady funkcjonowania komputerów kwantowych cz.1 Zasady funkcjonowania komputerów kwantowych cz.1
Architektura komputerów i systemy operacyjne
dr hab. inż. Krzysztof Giaro
Politechnika Gdańska

00:42:20
Podobieństwo tematyczne:
Zasady funkcjonowania komputerów kwantowych cz.2 Zasady funkcjonowania komputerów kwantowych cz.2
Architektura komputerów i systemy operacyjne
dr hab. inż. Krzysztof Giaro
Politechnika Gdańska

00:43:00
Podobieństwo tematyczne:
Algorytmiczna teoria liczb cz.1 Algorytmiczna teoria liczb cz.1
Matematyka, logika i inne przedmioty podstawowe
dr hab. Jarosław Grytczuk
Uniwersytet Jagielloński

00:38:30
Podobieństwo tematyczne:
Materiały najwyżej oceniane:
Robocik WWSI