Przejdź do treści
Instytut
Instytut
Władze Instytutu
Rada Instytutu
Pracownicy
Sekretariat Instytutu
Struktura
Strategia rozwoju
Historia
Jubileusz 20-lecia kierunku Informatyka
Moodle Instytutu Informatyki
Plany zajęć
Aktualności
Newsletter 01.2025
W załączeniu lista aktualnych naborów do konkursów o przyzna...
03.01.2025
Seminarium Instytutu Informatyki z referatem pt. "Facilitate...
Szanowni Państwo,Serdecznie zapraszamy na Seminarium Instytu...
02.01.2025
Sztuczna inteligencja w audytach budynków mieszkalnych
Szanowni Państwo, Zachęcamy do zapoznania się z artykułem...
20.12.2024
Badania naukowe
Badania naukowe
Kierunki i obszary badań
Sieci, konsorcja i zespoły badawcze
Projekty naukowe
Istotne publikacje
Czasopisma
Konferencje
Wyposażenie
Aktualności
Newsletter 01.2025
W załączeniu lista aktualnych naborów do konkursów o przyzna...
03.01.2025
Seminarium Instytutu Informatyki z referatem pt. "Facilitate...
Szanowni Państwo,Serdecznie zapraszamy na Seminarium Instytu...
02.01.2025
Sztuczna inteligencja w audytach budynków mieszkalnych
Szanowni Państwo, Zachęcamy do zapoznania się z artykułem...
20.12.2024
Współpraca z otoczeniem
Współpraca z otoczeniem
Oferta badań komercyjnych
Instytucje współpracujące
Uniwersyteckie Centrum Transferu Wiedzy i Technologii
Międzynarodowe Centrum Badawczo-Rozwojowe
Uniwersytecki Szpital Kliniczny
Aktualności
Newsletter 01.2025
W załączeniu lista aktualnych naborów do konkursów o przyzna...
03.01.2025
Seminarium Instytutu Informatyki z referatem pt. "Facilitate...
Szanowni Państwo,Serdecznie zapraszamy na Seminarium Instytu...
02.01.2025
Sztuczna inteligencja w audytach budynków mieszkalnych
Szanowni Państwo, Zachęcamy do zapoznania się z artykułem...
20.12.2024
Awanse naukowe
Awanse naukowe
Rada Naukowa UO
Szkoła Doktorska
Studia doktoranckie
Doktoraty
Aktualności
Newsletter 01.2025
W załączeniu lista aktualnych naborów do konkursów o przyzna...
03.01.2025
Seminarium Instytutu Informatyki z referatem pt. "Facilitate...
Szanowni Państwo,Serdecznie zapraszamy na Seminarium Instytu...
02.01.2025
Sztuczna inteligencja w audytach budynków mieszkalnych
Szanowni Państwo, Zachęcamy do zapoznania się z artykułem...
20.12.2024
Koła naukowe
Koła naukowe
Sekcja CyberSecurity
Grafika komputerowa
Aktualności
Newsletter 01.2025
W załączeniu lista aktualnych naborów do konkursów o przyzna...
03.01.2025
Seminarium Instytutu Informatyki z referatem pt. "Facilitate...
Szanowni Państwo,Serdecznie zapraszamy na Seminarium Instytu...
02.01.2025
Sztuczna inteligencja w audytach budynków mieszkalnych
Szanowni Państwo, Zachęcamy do zapoznania się z artykułem...
20.12.2024
Pomoc
Pomoc
Konta Azure Dev Tools for Teaching
Serwer Student
Pomoc IT
Aktualności
Newsletter 01.2025
W załączeniu lista aktualnych naborów do konkursów o przyzna...
03.01.2025
Seminarium Instytutu Informatyki z referatem pt. "Facilitate...
Szanowni Państwo,Serdecznie zapraszamy na Seminarium Instytu...
02.01.2025
Sztuczna inteligencja w audytach budynków mieszkalnych
Szanowni Państwo, Zachęcamy do zapoznania się z artykułem...
20.12.2024
Wydział
Kontakt
Szukaj
Szukaj
Facebook
X-twitter
Youtube
Instagram
Envelope
Import
11/06/2019
Grant NCN dla dr hab. Lidii Tendery, prof. UO
Dr hab. Lidia Tendera, prof. UO uzyskała finansowanie projektu
Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i liczebniki
w konkursie OPUS 16 zorganizowanym przez Narodowe Centrum Nauki.
Serdecznie gratulujemy!
Udostępnij post
Prev
Poprzedni
Terminarz obron prac dyplomowych
Następny
Godziny rektorskie w dniu inauguracji roku akademickiego 2019/2020
Następny
Search ...
Skip to content
Open toolbar
Narzędzia dostępności
Narzędzia dostępności
Zwiekszenie tekstu
Zwiekszenie tekstu
Zmniejszenie tekstu
Zmniejszenie tekstu
Skala szarości
Skala szarości
Duży / mały kontrast
Duży / mały kontrast
Negatywny kontrast
Negatywny kontrast
Jasne tło
Jasne tło
Podkreślone linki
Podkreślone linki
Czytelna czcionka
Czytelna czcionka
Reset
Reset