Open Directory - World: Polski: Nauka i edukacja: Matematyka: Logika i podstawy

Zobacz także:

Inne wersje językowe tej kategorii:

Logika (nie)formalna - Zajęcia z logiki matematycznej i podstaw teorii mnogości dla studentów informatyki i ekonometrii SGGW w Warszawie.
Logika - Wikibooks - Fragment podręcznika do matematyki dla liceum.
Logika dla informatyków - Materiały dydaktyczne MIMUW na studia informatyczne II stopnia.
Logika dla informatyków - Skrypt prof. Leszka Pacholskiego z Uniwersytetu Wrocławskiego. [PDF]
Logika matematyczna - Wikipedia - Opis, rys historyczny, współczesne badania, bibliografia.
Logika on-line - Podstawowe elementy logiki, kwantyfikatory oraz metoda zerojedynkowa z przykładowymi zadankami.
Romazur-Logic - Autorski kurs podstaw logiki.
Samouczek, czyli logika dla kazdego - Logika zdań i logika kwantyfikatorów autorstwa Katarzyny Paprzyckiej.
Zakład Logiki Matematycznej, Uniwersytet im. A. Mickiewicza - Aktualności, pracownicy, dydaktyka, seminaria.

"Logika i podstawy" szukaj w: AltaVista - A9 - AOL - Ask - Clusty - Gigablast - Google - Lycos - MSN - Yahoo

Ta kategoria potrzebuje redaktora

Odwiedź nasze siostrzane strony mozilla.org | MusicMoz | Wikipedia

Ostatnia zmiana: piątek, 16 październik 2009 13:16:27 EDT - redaguj

Open Directory - World: Français: Sciences: Mathématiques: Logique et fondements

Voir également :

Cette catégorie en d'autres langues :

Blossier, Thomas - Cours de Master recherche sur la théorie des modèles, après un cours de Master 1 logique et complexité.
Dehornoy, Patrick - Notes de cours de logique, articles sur la théorie des ensembles et la théorie des tresses.
Girard, Jean-Yves - Articles et cours de théorie de la démonstration.
Introduction à la logique floue - Petite parabole militaire qui traduit l'opportunité du recours à la logique floue dans le processus de décision et de management; liens sur la logique floue.
Logique et programmation - Quelques notes de cours: démonstration automatique, logique informatique, complexité.
Logique et théorie des ensembles - Introduction aux fondements des mathématiques et à la théorie des ensembles, suivant une approche approfondie différente de la tradition.
Qu'est-ce que la théorie des modèles - Présentation vulgarisée de quelques notions et résultats modernes en ce domaine.
Rambaud, Alexandre - Textes de séminaires d'introduction à la logique: théorie des modèles, théorie des ensembles et récursivité.
Ruet, Paul - Son cours de deuxième année de Master est une introduction à la logique, à la calculabilité et à la complexité algorithmique.
Théorie des ensembles - Présentation axiomatique, ordinaux, cardinaux, axiome du choix, un peu de combinatoire transfinie.
Une mathématique constructive expérimentale - Fonder les mathématiques par les algorithmes. De la programmation à la logique et aux probabilités.

Chercher "Logique et fondements" avec : AOL - Ask - Bing - Exalead - Gigablast - Google - Lycos - Voila - Yahoo - Yippy

Éditeur de la catégorie spoirier

Visitez ces sites analogues au nôtre Mozilla Europe | MusicMoz | Wikipedia

Dernière mise à jour : dimanche 17 octobre 2010 12 h 39 EDT - éditer