Metody Algebraiczne i Kategoryjne w Teorii Dowodu i Informatyce

dr hab. Adam Obtułowicz

Środa, 12.00-14.00, sala 408

  • 5.12.2012
    Janusz Andrzej Pomykała
    Zastosowanie idei przestrzeni aproksymacyjnej do oceny projektów technologii informacyjnej
  • 14.11.2012
    Janusz Andrzej Pomykała
    Zastosowania idei przestrzeni aproksymacyjnej do problematyki bezpieczeństwa informacji
  • 24.10.2012
    Janusz Andrzej Pomykała
    Przestrzeń aproksymacyjna i reprezentacja wiedzy
  • 28.09.2011
    J. A. Pomykała
    Aproksymacyjne i aksjomatyczne operatory przybliżające w teorii zbiorów przybliżonych - c.d.
  • 21.09.2011
    J. A. Pomykała
    Aproksymacyjne i aksjomatyczne operatory przybliżające w teorii zbiorów przybliżonych
  • 6.04.2011
    Adam Obtułowicz (IMPAN)
    O ścisłości rozumowań przy pomocy wizualnych przedstawień (diagramów)
  • 30.03.2011
    J. A. Pomykała
    O pewnym problemie I. A. Grahama dla obiektów rozmytych
  • 9.03.2011
    J. A. Pomykała
    Przybliżanie i obiektowość
  • 2.03.2011
    Adam Obtułowicz (IMPAN)
    Poligranularność a grafy fraktalne
  • 19.01.2011
    Ewa Graczyńska
    Dependence Spaces II
  • 12.01.2011
    J. A. Pomykała
    Systemy informacyjne - przybliżanie i obiektowość - c.d.
  • 8.12.2010
    J. A. Pomykała
    Systemy informacyjne - przybliżanie i obiektowość
  • 1.12.2010
    Adam Obtułowicz (IMPAN)
    Systemy równoczesnego (w różnych miejscach) przepisywania grafów
  • 24.11.2010
    Adam Obtułowicz (IMPAN)
    Składalność (compositionality) w modelowaniu sieci neuronowej mózgu a operady
  • 7.10.2009 - 1100
    Joanna Bartosik
    Różne rodzaje (nie)zależności
  • 27.05.2009
    Ewa Graczyńska (Politechnika Opolska)
    Dependence spaces
  • 22.04.2009
    Adam Obtułowicz (IMPAN)
    O pewnych prezentacjach sieci hierarchicznych i grafów fraktalnych - c.d.
  • 15.04.2009
    Adam Obtułowicz (IMPAN)
    O pewnych prezentacjach sieci hierarchicznych i grafów fraktalnych
  • 19.11.2008
    Adam Obtułowicz (IMPAN)
    Modularne sieci neuronowe i systemy membranowe Gh. Pauna
  • 12.11.2008 - 1400 - sala 424
    Joanna Bartosik (KUL)
    Grafy wielopoziomowe jako uogólnienie klasycznych systemów Pauna
    Abstract
  • 25.06.2008
    Joanna Bartosik
    O pewnych zastosowaniach grafów skierowanych z dokładnie jednym automorfizmem - c.d.
  • 18.06.2008
    Joanna Bartosik
    O pewnych zastosowaniach grafów skierowanych z dokładnie jednym automorfizmem
  • 16.01.2008
    Adam Obtułowicz (IMPAN)
    Moce obliczeniowe maszyn R. Gandy'ego i P systemów Gh. Pauna - porównanie (2)
  • 9.01.2008
    Adam Obtułowicz (IMPAN)
    Moce obliczeniowe maszyn R. Gandy'ego i P systemów Gh. Pauna - porównanie
  • 19.12.2007
    Waldemar Korczyński, Adam Obtułowicz
    Badanie procesów współbieżnych za pomocą symplicjalnych kompleksów i teorii homologii, wyniki M. Herlihy'ego i S. Rajsbauma - c.d.
  • 12.12.2007
    Waldemar Korczyński, Adam Obtułowicz
    Badanie procesów współbieżnych za pomocą symplicjalnych kompleksów i teorii homologii, wyniki M. Herlihy'ego i S. Rajsbauma
  • 28.11.2007
    Waldemar Korczyński
    Zastosowania grafów hierarchicznych w informatyce oraz przy projektowaniu systemów organizacji i zarządzania przedsiębiorstw (wyniki własne - cz. II)
  • 21.11.2007
    Waldemar Korczyński
    Zastosowania grafów hierarchicznych w informatyce oraz przy projektowaniu systemów organizacji i zarządzania przedsiębiorstw (wyniki własne)

Rewrite code from the image

Reload image

Reload image