Aide à l`utilisation - LaLIC - Université Paris

Transcription

Langues, Logiques, Informatique, Cognition
Université Paris-Sorbonne
LOGIC : Aide animée et interactive pour l’apprentissage
de la logique des propositions et des prédicats selon la
méthode de déduction naturelle.
http://www.lalic.paris4.sorbonne.fr/LOGIC/
Petit guide d'utilisation
Florence Le Priol
mars 2005, mise à jour juin 2009
Petit guide d'utilisation de LOGIC
Table des matières
CONFIGURATION REQUISE..................................................................................3
Windows........................................................................................................................................................3
Macintosh......................................................................................................................................................3
Linux..............................................................................................................................................................3
INSTALLATION.......................................................................................................4
Installation de la police Logic..........................................................................................................................4
Sous Windows...............................................................................................................................................4
Sous Mac OS X.............................................................................................................................................4
Téléchargement de Macromédia FlashPlayer...............................................................................................4
EXEMPLES..............................................................................................................5
Dérouler l'animation........................................................................................................................................5
Démarrer ou reprendre...................................................................................................................................5
Arrêter............................................................................................................................................................5
Revenir en arrière..........................................................................................................................................5
Accélérer........................................................................................................................................................5
Imprimer...........................................................................................................................................................5
Agrandir/réduire..............................................................................................................................................6
EXERCICES.............................................................................................................7
Palette graphique..............................................................................................................................................7
Boutons..............................................................................................................................................................7
Copier-Coller....................................................................................................................................................7
Imprimer...........................................................................................................................................................8
Agrandir/réduire..............................................................................................................................................8
Florence Le Priol, LaLIC, mars 2005, mise à jour juin 2009
2
Configuration requise
LOGIC est un outil multi-plateforme compatible avec tous les navigateurs acceptant le
lecteur d'applications Flash (Flash Player)1.
Windows
Plate-forme
Windows NT
Windows 98
Windows Me
Windows 2000
Windows XP
Windows Vista
Navigateur
Microsoft Internet Explorer 6.0, Netscape 7.x, Mozilla
CompuServe 7, et Opera 7.11
Microsoft Internet Explorer 5.x, Netscape 4.7, Netscape
Mozilla 1.x, AOL 8 et Opera 7.11
Microsoft Internet Explorer 5.5, Netscape 4.7, Netscape
Mozilla 1.x, AOL 8 et Opera 7.11
Microsoft Internet Explorer 5.x, Netscape 4.7, Netscape
Mozilla 1.x, CompuServe 7, AOL 8 et Opera 7.11
Tous navigateurs
Tous navigateurs
1.x,
7.x,
7.x,
7.x,
Macintosh
Plate-forme
Mac OS 9.x
Mac OS X
Navigateur
Microsoft Internet Explorer 5.1, Netscape 4.8, Netscape 7.x,
Mozilla 1.x et Opera 6
Tous navigateurs
Linux
Plate-forme
RedHat
Enterprise
Linux
WS v. 3
RedHat Linux 9
Sun
Java
Desktop System 1.0
Navigateur
Mozilla 1.2 et version supérieure, Netscape 7.1
1
Les informations qui suivent sont celles données par Macromedia pour Flash Player 7
(http://www.macromedia.com/fr/software/flashplayer/productinfo/systemreqs/).
3
Installation
Installation de la police Logic
Pour pouvoir utiliser LOGIC, vous devez télécharger (sur le CD dans le dossier policecar,
fichier Logic.TTF) et installer la police de caractère Logic sur votre machine avant la
première utilisation .
Sous Windows
Copier le fichier Logic.TTF dans le dossier polices.
Pour accéder au menu polices,
Windows 2000 (et versions inférieures): Menu Démarrer, paramètres, panneau de
configuration, polices.
Windows XP : Menu Démarrer, panneau de configuration, polices.
Windows Vista : dossier "font" faites un clic droit puis "Installer une nouvelle police"
Sous Mac OS X
Copier le fichier Logic.TTF dans le dossier polices.
Pour accéder au menu polices,
Dossier Bibliothèque, Polices (ou Library, Fonts)
Téléchargement de Macromédia FlashPlayer
Si vous ne voyez pas les animations, vous devez télécharger et installer FlashPlayer
(http://get.adobe.com/fr/flashplayer/).
4
Exemples
Dérouler l'animation
Démarrer ou reprendre
>
Lancer ou poursuivre l’animation après une interruption.
Arrêter
||||
Interrompre l’animation.
L’animation peut être reprise là où elle a été interrompue.
Revenir en arrière
<<
Effectue un retour en arrière dans la démonstration.
Tant qu’on clique sur le bouton, on remonte en arrière. Dès l’arrêt des clics,
le déroulement de l’animation reprend automatiquement.
Accélérer
>>
Accélérer le déroulement de l’animation en passant directement d’une ligne
à la ligne suivante à chaque clic.
Imprimer
Placer la souris dans la zone de
l'animation
Cliquer sur le bouton gauche (CTRL clic
sous Mac OS 9 et sup.) pour faire
apparaître le menu contextuel
Sélectionner imprimer
5
Agrandir/réduire
l'animation
Sélectionner zoom avant pour agrandir
la zone
Sélectionner zoom arrière pour revenir à
la taille initiale
6
Exercices
Palette graphique
0 1
@ $
T S R
# U ^
x y %
(
2 3
&
)
1
4
2 3 4 5
8 9 - ,
6 7
AB CG E F
H I K L M O
x y z /
Placer le curseur dans la zone de texte à remplir,
Cliquer pour sélectionner la zone,
Cliquer successivement sur les touches de la palette graphique correspondant aux
symboles que vous souhaitez voir apparaître dans la case sélectionnée.
Boutons
Afficher une aide sans afficher la réponse
?
Afficher la réponse et une explication
OK
Valider sa réponse
Copier-Coller
Sélectionner le texte à copier
Sélectionner copier
Placer le curseur dans la nouvelle zone
de texte
Sélectionner coller
7
Imprimer
l'exercice en dehors d'une zone de texte
Sélectionner imprimer
Agrandir/réduire
l'exercice en dehors d'une zone de texte
Sélectionner zoom avant pour agrandir
la zone
Sélectionner zoom arrière pour revenir à
la taille initiale
8

Aide à l`utilisation - LaLIC - Université Paris

Transcription

Documents pareils

LOGIC INSTRUMENT : +53% de Croissance au 1er trimestre 2016

Windows Processeur Intel Pentium 4 Microsoft Windows XP

Jacqueline VAUZEILLES Professeur des universités à l

Procédure pour l`activation d`internet à la résidence La Croix

decouvrez windows 7

recrute - Neuilly

logic systems puzzle

Accélérer le démarrage de Windows 7

CPAM du Val de Marne Bordereaux

CV 2016.pages - CV de Laurent BOYER