Cos'è ElectroYou | Login Iscriviti

ElectroYou - la comunità dei professionisti del mondo elettrico

Ricerca personalizzata

Sareste interessati a degli articoli sulla verifica formale?

Notizie scientifiche e non, comunicazioni, auguri, AAA cercasi, vendo, compro, piccoli racconti, curiosità, idee, fantasie ecc. Un fuori tema soft, senza argomenti scottanti

Moderatori: Foto Utenteadmin, Foto UtentePaolino

Articoli sui metodi formali: si o no?

Si, scrivili: mi interessa!
11
58%
Si, scrivili... magari gli do uno sguardo.
5
26%
Non ho un'opinione.
2
11%
No, meglio se non li scrivi: non mi interessa poi così tanto.
1
5%
No, non scrivere nulla: non me ne frega niente.
0
Nessun voto
 
Voti totali : 19

0
voti

[11] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto Utentevenexian » 2 gen 2018, 18:24

Piercarlo ha scritto:non mi sembra un argomento suscettibile di scatenare delle risse! ;-)

Illuso... vedrai che qualcuno se ne esce dicendo che le criptovalute sono verificate formalmente al 100%...

(ho votato sì)
Avatar utente
Foto Utentevenexian
3.313 3 5
Master
Master
 
Messaggi: 967
Iscritto il: 13 mag 2017, 10:07
Località: Venezia (ma va?)

1
voti

[12] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto UtenteTardoFreak » 2 gen 2018, 18:44

IsidoroKZ ha scritto:E ci siamo giocati anche Foto Utentewruggeri! Avevo provato a portarlo sulla retta via dell'elettronica analogica ma la sua natura informatica e perversa è ritornata prepotente :D

Con voce profonda e cavernosa: "L'informatica scorre potente in lui!
:ok:
"La follia sta nel fare sempre la stessa cosa aspettandosi risultati diversi".
"Parla soltanto quando sei sicuro che quello che dirai è più bello del silenzio".
Rispondere è cortesia, ma lasciare l'ultima parola ai cretini è arte.
Avatar utente
Foto UtenteTardoFreak
73,2k 8 12 13
G.Master EY
G.Master EY
 
Messaggi: 15956
Iscritto il: 16 dic 2009, 11:10
Località: Torino - 3° pianeta del Sistema Solare

1
voti

[13] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto Utentewruggeri » 2 gen 2018, 19:57

Goofy ha scritto:Affermazione da verificare formalmente


Propongo di farla verificare tramite theorem proving a chiunque intenda far casino, così sarà troppo impegnato a scrivere e non avrà tempo per litigare (:OO:)

IsidoroKZ ha scritto:E ci siamo giocati anche Foto Utentewruggeri! Avevo provato a portarlo sulla retta via dell'elettronica analogica ma la sua natura informatica e perversa è ritornata prepotente :D

Scrivi, scrivi, per due ragioni almeno. La prima è che mi interessa sempre imparare, approfondire o ripassare qualcosa che non so o non ricordo. La seconda ragione è che serve a te: dover "mettere in bella" un argomento costringe a ripensarlo, organizzarlo... e si scoprono tanti aspetti che non erano stati visti con uno studio solo personale.

L'elettronica analogica non andrà mai più via O_uu_O Ma io ho tantissimi interessi, quindi leggo un po' di tutto: al momento sul mio comò ci sono, in attesa di lettura, tanti romanzi (un titolo tra tutti: "Cime abissali" di Zinov'ev), un paio di testi sugli operazioni (tra cui segnalo il mitico Dòstal, che al solo sguardo evoca in me un senso di sacralità quasi commovente), un testo sulla programmazione dei PIC in C (argomento che già conosco, ma sentire più voci fa sempre bene), l'eterno Horowitz-Hill (che ho già letto sette volte... ma ogni volta che lo rileggo imparo qualcosa di nuovo! >-O-< )...

Ah, a proposito: io riscrivo ciò che imparo in dei libri che compongo con LaTeX e poi stampo, così da poter avere dei riferimenti veloci a qualsiasi informazione possa voler ripassare ;-) Ne ho appena completato uno, di circa 450 pagine, che contiene tutto ciò che ho studiato per i corsi della laurea triennale e vari approfondimenti.
(Avete presente TAOCP? Ecco, io faccio qualcosa di simile, solo meno enciclopedico :mrgreen:)
Si, nei limiti delle mie capacità ti rispondo... ma per favore, impara l'italiano!
Se non conosci un argomento, non parlarne.
Gli unici fatti scientifici sono quelli accertati dagli studi. Il resto è opinione.
Avatar utente
Foto Utentewruggeri
3.510 1 6 13
Expert EY
Expert EY
 
Messaggi: 650
Iscritto il: 25 nov 2016, 18:46

0
voti

[14] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto UtenteWALTERmwp » 2 gen 2018, 20:10

wruggeri ha scritto:Grazie mille :ok:
Temo che non riuscirò mai a capire davvero l'organizzazione di un forum :mrgreen:
perché ti mancano le basi, approfondimento e metabolizzazione dei metodi della verifica formale potrebbe essere d'aiuto, hai mai pensato a studiarli ? ...

Saluti

p.s.
bravo Foto Utentewruggeri, escici imparati.
W - U.H.F.
Avatar utente
Foto UtenteWALTERmwp
19,9k 4 8 13
G.Master EY
G.Master EY
 
Messaggi: 5980
Iscritto il: 17 lug 2010, 18:42
Località: le 4 del mattino

0
voti

[15] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto UtenteIsidoroKZ » 2 gen 2018, 20:27

wruggeri ha scritto:
Propongo di farla verificare tramite theorem proving a chiunque intenda far casino, così sarà troppo impegnato a scrivere e non avrà tempo per litigare (:OO:)

Questa mi pare un'ottima idea.
wruggeri ha scritto:... Ne ho appena completato uno, di circa 450 pagine, che contiene tutto ciò che ho studiato per i corsi della laurea triennale e vari approfondimenti.


Passare un link a un sito accessibile, grazie! Anche in messaggio privato, se non vuoi diffonderlo troppo in giro.
Per usare proficuamente un simulatore, bisogna sapere molta più elettronica di lui
Plug it in - it works better!
Il 555 sta all'elettronica come Arduino all'informatica! (entrambi loro malgrado)
Se volete risposte rispondete a tutte le mie domande
Avatar utente
Foto UtenteIsidoroKZ
99,5k 1 3 8
G.Master EY
G.Master EY
 
Messaggi: 17911
Iscritto il: 17 ott 2009, 0:00

3
voti

[16] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto Utentewruggeri » 2 gen 2018, 21:31

IsidoroKZ ha scritto:
Passare un link a un sito accessibile, grazie! Anche in messaggio privato, se non vuoi diffonderlo troppo in giro.


Ecco il link :ok:
Tengo a sottolineare, però, una cosa: trattandosi di un'opera destinata alla mia personale consultazione, è tutt'altro che "ben scritta":

- Molte definizioni sono poco formali e a volte imprecise.
- Molti argomenti sono trattati in modo incompleto, anche in vista di successivi approfondimenti nel "secondo volume" che sto preparando (es. sulla teoria delle distribuzioni, ho scritto solo un paio di definizioni).
- L'organizzazione dei contenuti è funzionale alle mie associazioni mentali.
- Molti elementi di base non ci sono: ad esempio, non ho riscritto la caratterizzazione dei resistori, perché tanto la so già.
- Ci sono pochissime dimostrazioni: ho incluso solo quelle che per un qualche motivo ho ritenuto funzionali alla trattazione.

Inoltre, pur avendo finito di redigerla non ho ancora finito di correggerla: ci saranno sicuramente errori di ogni genere (forse addirittura un paio di errori concettuali).
Si, nei limiti delle mie capacità ti rispondo... ma per favore, impara l'italiano!
Se non conosci un argomento, non parlarne.
Gli unici fatti scientifici sono quelli accertati dagli studi. Il resto è opinione.
Avatar utente
Foto Utentewruggeri
3.510 1 6 13
Expert EY
Expert EY
 
Messaggi: 650
Iscritto il: 25 nov 2016, 18:46

0
voti

[17] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto Utentewall87 » 2 gen 2018, 21:35

wruggeri ha scritto:Ah, a proposito: io riscrivo ciò che imparo in dei libri che compongo con LaTeX e poi stampo...


E visto che ci siamo potresti mettere anche il link nella vrsione \LaTeX originale?
Così per chiedere se possibile (sono curioso) :roll:
Il futuro appartiene a coloro che credono nella bellezza dei propri sogni.

Formule LaTeX

Uso di LaTeX sul forum

ƎlectroYou
Avatar utente
Foto Utentewall87
5.470 3 10 13
Master
Master
 
Messaggi: 1357
Iscritto il: 27 nov 2014, 15:28
Località: Padova

0
voti

[18] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto Utentefairyvilje » 2 gen 2018, 21:57

Ma quanta pazienza per ordinare gli appunti hai avuto? :mrgreen: .
Io sono molto più essenziale. Mi bastano le grammatiche context sensitive, tutto il resto lo ottengo applicando regole di riscrittura :mrgreen: .
"640K ought to be enough for anybody" Bill Gates (?) 1981
Qualcosa non ha funzionato...

Lo sapete che l'arroganza in informatica si misura in nanodijkstra? :D
Avatar utente
Foto Utentefairyvilje
9.729 4 9 12
G.Master EY
G.Master EY
 
Messaggi: 2168
Iscritto il: 24 gen 2012, 19:23

1
voti

[19] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto UtenteIsidoroKZ » 2 gen 2018, 22:29

wruggeri ha scritto:Ecco il link :ok:


Grazie! Segnalo un errore nella bibliografia :-), il titolo di [26] e` Microelectronic... non Electronic...

Suggerisco anche di mettere un numero di versione o la data di compilazione: viene utile per i work in progress.
Per usare proficuamente un simulatore, bisogna sapere molta più elettronica di lui
Plug it in - it works better!
Il 555 sta all'elettronica come Arduino all'informatica! (entrambi loro malgrado)
Se volete risposte rispondete a tutte le mie domande
Avatar utente
Foto UtenteIsidoroKZ
99,5k 1 3 8
G.Master EY
G.Master EY
 
Messaggi: 17911
Iscritto il: 17 ott 2009, 0:00

0
voti

[20] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto Utentewruggeri » 3 gen 2018, 0:38

wall87 ha scritto:E visto che ci siamo potresti mettere anche il link nella vrsione \LaTeX originale?


Purtroppo al momento non ho a disposizione il PC dove ho tutti i documenti, perché non sono a Torino... appena torno correggo l'errore segnalato da Foto UtenteIsidoroKZ (grazie, a proposito!! :ok:) e carico tutto ;-)

fairyvilje ha scritto:Ma quanta pazienza per ordinare gli appunti hai avuto? :mrgreen:

Ho impiegato quasi un anno a scrivere quel libro :mrgreen:
Si, nei limiti delle mie capacità ti rispondo... ma per favore, impara l'italiano!
Se non conosci un argomento, non parlarne.
Gli unici fatti scientifici sono quelli accertati dagli studi. Il resto è opinione.
Avatar utente
Foto Utentewruggeri
3.510 1 6 13
Expert EY
Expert EY
 
Messaggi: 650
Iscritto il: 25 nov 2016, 18:46

PrecedenteProssimo

Torna a Magazine: notizie, presentazioni, annunci e molto altro

Chi c’è in linea

Visitano il forum: Nessuno e 4 ospiti